Rajeev Gore
Rajeev Gore
Emeritus Professor of Computer Science, Australian National University
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
4331999
Substructural logics on display
R Goré
Logic Journal of IGPL 6 (3), 451-504, 1998
1271998
Dual Intuitionistic Logic Revisited
R Gore
Automated Reasoning with Analytic Tableaux and Related Methods …, 2006
83*2006
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
751997
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
64*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
Advances in Modal Logic
R Goré, B Kooi, A Kurucz
College Publications, 2014
55*2014
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
Journal of automated reasoning 50 (4), 355-381, 2013
522013
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
International Workshop on Description Logics (DL2007),, 8 pages, 2007
52*2007
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
512008
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.
R Goré, R Ramanayake
Advances in Modal Logic 9, 279-299, 2012
492012
The tableaux work bench
P Abate, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
492003
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
452011
An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability
R Goré, F Widmann
International Conference on Automated Deduction, 437-452, 2009
442009
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
432010
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
Optimal and cut-free tableaux for propositional dynamic logic with converse
R Goré, F Widmann
International Joint Conference on Automated Reasoning, 225-239, 2010
342010
Sound global state caching for ALC with inverse roles
R Goré, F Widmann
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
342009
A proof theoretic analysis of intruder theories
A Tiu, R Goré
International Conference on Rewriting Techniques and Applications, 103-117, 2009
332009
A decidable policy language for history-based transaction monitoring
A Bauer, R Goré, A Tiu
arXiv preprint arXiv:0903.2904, 2009
33*2009
The system can't perform the operation now. Try again later.
Articles 1–20