Follow
Rajeev Gore
Rajeev Gore
Vienna University of Technology
Verified email at anu.edu.au
Title
Cited by
Cited by
Year
Tableau methods for modal and temporal logics
R Goré
Handbook of tableau methods, 297-396, 1999
4381999
Substructural logics on display
R Goré
Logic Journal of IGPL 6 (3), 451-504, 1998
1311998
Dual Intuitionistic Logic Revisited
R Gore
Automated Reasoning with Analytic Tableaux and Related Methods …, 2006
90*2006
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
771997
An on-the-fly tableau-based decision procedure for PDL-satisfiability
P Abate, R Goré, F Widmann
Electronic Notes in Theoretical Computer Science 231, 191-209, 2009
69*2009
EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies
R Goré, LA Nguyen
International Conference on Automated Reasoning with Analytic Tableaux and …, 2007
642007
Cut-elimination and proof-search for biintuitionistic logic using nested sequents
R Goré, L Postniece, A Tiu
Advances in Modal Logic 7, 43-66, 2008
562008
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.
R Goré, R Ramanayake
Advances in Modal Logic 9, 279-299, 2012
542012
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
Journal of automated reasoning 50 (4), 355-381, 2013
532013
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
International Workshop on Description Logics (DL2007),, 8 pages, 2007
53*2007
Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
R Goré, L Postniece
Journal of Logic and Computation 20 (1), 233-260, 2010
482010
An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability
R Goré, F Widmann
International Conference on Automated Deduction, 437-452, 2009
482009
The tableaux work bench
P Abate, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
482003
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
AF Tiu, L Postniece, R Gore
Logical Methods in Computer Science 7, 2011
472011
Cut-free sequent and tableau systems for propositional normal modal logics
RP Goré
University of Cambridge, Computer Laboratory, 1992
381992
Optimal and cut-free tableaux for propositional dynamic logic with converse
R Goré, F Widmann
International Joint Conference on Automated Reasoning, 225-239, 2010
362010
Sound global state caching for ALC with inverse roles
R Goré, F Widmann
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
352009
A tableau calculus with automaton-labelled formulae for regular grammar logics
R Goré, LA Nguyen
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
352005
Gaggles, Gentzen and Galois: How to display your favourite substructural logic
R Goré
Logic Journal of the IGPL 6 (5), 669-694, 1998
341998
An iterative approach for business process template synthesis from compliance rules
A Awad, R Goré, J Thomson, M Weidlich
International Conference on Advanced Information Systems Engineering, 406-421, 2011
332011
The system can't perform the operation now. Try again later.
Articles 1–20