21 citations · 36 across the 3 of their papers we have counts for
3 papers
cs.LO2012★ 8 cited
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
Alwen Tiu, Egor Ianovski, Rajeev Gore
A grammar logic refers to an extension to the multi-modal logic K in which the modal axioms are generated from a formal grammar. We consider a proof theory, in nested sequent calcu…
cs.LO2010★ 21 cited
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
Rajeev Gore, Linda Postniece, Alwen Tiu
We consider an extension of bi-intuitionistic logic with the traditional modalities from tense logic Kt. Proof theoretically, this extension is obtained simply by extending an exis…
cs.LO2010★ 7 cited
Optimal and Cut-free Tableaux for Propositional Dynamic Logic with Converse
Rajeev Goré, Florian Widmann
We give an optimal (EXPTIME), sound and complete tableau-based algorithm for deciding satisfiability for propositional dynamic logic with converse (CPDL) which does not require the…