48 citations · 221 across the 36 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.LO2010★ 4 cited
Cut Elimination for a Logic with Induction and Co-induction
Alwen Tiu, Alberto Momigliano
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus…
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…