Name Card

Full name Familienname, Vorname
Lyon, Timothy Stephen
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-19 of 19 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van Berkel, Kees ; Lyon, Tim The Varieties of Ought-Implies-Can and Deontic STIT LogicKonferenzbeitrag Inproceedings 2021
2Lyon Timothy - 2021 - Refining labelled systems for modal and constructive...pdf.jpgLyon, Timothy Refining labelled systems for modal and constructive logics with applicationsThesis Hochschulschrift 2021
3Ciabattoni, Agata ; Lyon, Tim ; Ramanayake, Revantha ; Tiu, Alwen Display to Labeled Proofs and Back Again for Tense LogicsArtikel Article 2021
4Lyon, Tim Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested SequentsKonferenzbeitrag Inproceedings 2020
5Lyon, Tim ; Goré, Rajeev Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested SequentsKonferenzbeitrag Inproceedings 2020
6Lyon, Tim On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic LogicsArtikel Article 2020
7Lyon, Tim On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsKonferenzbeitrag Inproceedings 2020
8Lyon, Tim ; van Berkel, Kees Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT LogicsKonferenzbeitrag Inproceedings 2019
9van Berkel, Kees ; Lyon, Tim Cut-Free Calculi and Relational Semantics for Temporal STIT LogicsKonferenzbeitrag Inproceedings 2019
10van Berkel, Kees ; Lyon, Tim A Neutral Temporal Deontic STIT LogicKonferenzbeitrag Inproceedings 2019
11Lyon, Tim On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsPräsentation Presentation2019
12Lyon, Tim Tense Logics, Structural Proof Theory, and Effective TranslationsPräsentation Presentation2018
13Lyon, Tim Tense Logics, Structural Proof Theory, and Effective TranslationsPräsentation Presentation2018
14Lyon, Tim Effective Translations between Nested and Labelled Proofs for Tense LogicsPräsentation Presentation2018
15Lyon, Tim Internalizing Labelled Proofs for Tense Logics with Path AxiomsPräsentation Presentation2018
16Lyon, Tim ; Ramanayake, Revantha ; Ciabattoni, Agata From Display to Labelled Calculi for Tense LogicsKonferenzbeitrag Inproceedings 2018
17Lyon, Tim Effective Translations between Display and Labelled Proofs for Tense LogicsPräsentation Presentation2018
18Lyon, Tim Translating from Labelled Calculi to Display CalculiPräsentation Presentation2017
19Lyon, Tim Mutual Translations between Display and Labelled Proofs for Tense LogicsPräsentation Presentation2017