Follow
Rajeev Gore
Rajeev Gore
Faculty of Information Technology, Monash University, Australia
Verified email at monash.edu
Title
Cited by
Cited by
Year
Tableau methods for modal and temporal logics
R Goré
Handbook of tableau methods, 297-396, 1999
4701999
Substructural logics on display
R Goré
Logic Journal of IGPL 6 (3), 451-504, 1998
1521998
Dual Intuitionistic Logic Revisited
R Gore
Automated Reasoning with Analytic Tableaux and Related Methods …, 2000
1142000
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
75*2009
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
741997
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
672007
Labelled tree sequents, tree hypersequents and nested (deep) sequents
R Goré, R Ramanayake
Advances in modal logic, 279-299, 2014
652014
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
652008
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
R Goré, L Postniece, AF Tiu
Logical Methods in Computer Science 7, 2011
612011
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
Journal of automated reasoning 50 (4), 355-381, 2013
532013
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
532010
ExpTime Tableaux for ALC Using Sound Global Caching
R Goré, LA Nguyen
International Workshop on Description Logics (DL2007),, 8 pages, 2007
53*2007
An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability
R Goré, F Widmann
International Conference on Automated Deduction, 437-452, 2009
502009
Valentini’s cut-elimination for provability logic resolved
R Goré, R Ramanayake
Advances in Modal Logic 7, 67-86, 2008
50*2008
The tableaux work bench
P Abate, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
502003
Cut-free sequent and tableau systems for propositional normal modal logics
RP Goré
University of Cambridge, Computer Laboratory, 1992
431992
Electronic voting
R Krimmer, M Volkamer
Proceedings of the 2nd Workshop on Electronic Voting (ed). Bonn, 2006
42*2006
One-pass tableaux for computation tree logic
P Abate, R Goré, F Widmann
International Conference on Logic for Programming Artificial Intelligence …, 2007
392007
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
382011
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
382009
The system can't perform the operation now. Try again later.
Articles 1–20