42 citations · 64 across the 3 of their papers we have counts for
3 papers
cs.LO2011★ 42 cited
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Rajeev Gore, Linda Postniece, Alwen F Tiu
We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional singl…
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.LO2007★ 1 cited
A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version
Linda Buisman, Rajeev Goré
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with…