R
Rajeev Goré
Researcher at Australian National University
Publications - 168
Citations - 2505
Rajeev Goré is an academic researcher from Australian National University. The author has contributed to research in topics: Sequent calculus & Sequent. The author has an hindex of 24, co-authored 166 publications receiving 2385 citations. Previous affiliations of Rajeev Goré include University of Melbourne.
Papers
More filters
Book ChapterDOI
Tableau Methods for Modal and Temporal Logics
TL;DR: This chapter gives a systematic and unified introduction to tableau methods for automating deduction in modal and temporal logics and focuses on the propositional fragments restricted to a two-valued (classical) basis.
Journal ArticleDOI
Substructural logics on display
TL;DR: A single (cut-free) Display calculus for the Bi-Lambek Calculus, from which all the well-known (bi-intuitionistic and bi-classical) extensions are obtained by the incremental addition of structural rules to a constant core of logical introduction rules.
Book ChapterDOI
Free Variable Tableaux for Propositional Modal Logics
Bernhard Beckert,Rajeev Goré +1 more
TL;DR: This work presents a sound, complete, modular and lean labelled tableau calculus for many propositional modal logics where the labels contain “free” and “universal” variables.
Book ChapterDOI
Dual Intuitionistic Logic Revisited
TL;DR: It is shown that a previously reported generalised display framework does deliver the required cut-free display calculus and the structural rule necessary to turn this display calculus into one for classical logic is pinpointed.
Book ChapterDOI
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
Rajeev Goré,Linh Anh Nguyen +1 more
TL;DR: This work gives the first EXPTIME tableau-based decision procedure for $\mathcal{SHI}$, and shows one way to incorporate global caching and inverse roles in the description logic by adding analytic cut rules.