Tim Lyon

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 23

Top Topics

Reasoning About Actions

Sequent Calculi

Intuitionistic Logic

Proof Theoretic

Top Venues

Description Logics

Publications

Tim Lyon, Piotr Ostropolski-Nalewaja
Decidability of Quasi-Dense Modal Logics. LICS (2024)
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics. CoRR (2022)
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics. Description Logics (2022)
Tim Lyon
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics. CoRR (2021)
Tim Lyon
On the correspondence between nested calculi and semantic systems for intuitionistic logics. J. Log. Comput. 31 (1) (2021)
Tim Lyon
Refining Labelled Systems for Modal and Constructive Logics with Applications. CoRR (2021)
Kees van Berkel, Tim Lyon
The Varieties of Ought-Implies-Can and Deontic STIT Logic. DEON (2021)
Tim Lyon
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. LFCS (2020)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL (2020)
Tim Lyon
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. LFCS (2020)
Kees van Berkel, Tim Lyon, Francesco Olivieri
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. CLAR (2020)
Kees van Berkel, Tim Lyon
Cut-free Calculi and Relational Semantics for Temporal STIT Logics. CoRR (2019)
Kees van Berkel, Tim Lyon
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. JELIA (2019)
Tim Lyon
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. CoRR (2019)
Tim Lyon, Kees van Berkel
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. CoRR (2019)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR (2019)
Tim Lyon
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. CoRR (2019)
Kees van Berkel, Tim Lyon
A Neutral Temporal Deontic STIT Logic. CoRR (2019)
Kees van Berkel, Tim Lyon
A Neutral Temporal Deontic STIT Logic. LORI (2019)
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labelled Proofs and Back Again for Tense Logics. CoRR (2019)
Tim Lyon, Kees van Berkel
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. PRIMA (2019)
Kees van Berkel, Tim Lyon
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics. CoRR (2019)
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake
From Display to Labelled Proofs for Tense Logics. LFCS (2018)