329 citations · 459 across the 19 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
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★ 8 cited
A Proof Theoretic Analysis of Intruder Theories
Alwen F Tiu, Rajeev Gore, Jeremy Dawson
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages Gamma under the theor…
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…