12 citations · 68 across the 25 of their papers we have counts for
8 papers · 1 filter
Display to Labeled Proofs and Back Again for Tense Logics
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake +1
We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus f…
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents
Tim Lyon
This paper employs the linear nested sequent framework to design a new cut-free calculus LNIF for intuitionistic fuzzy logic--the first-order Gödel logic characterized by linear re…
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
Tim Lyon
This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecti…
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
Tim Lyon, Alwen Tiu, Rajeev Goré +1
We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this met…
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision pro…
A Neutral Temporal Deontic STIT Logic
Kees van Berkel, Tim Lyon
In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS. The logic is based upon atemporal utili…
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
Kees van Berkel, Tim Lyon
We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm, Tstit and Xsti…
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
Kees van Berkel, Tim Lyon
This paper is an appendix to the paper "Cut-free Calculi and Relational Semantics for Temporal STIT logics" by Berkel and Lyon, 2019. It provides the completeness proof for the bas…