Tim Lyon

  • Project Assistant, MA
  • TU Wien
  • Institute of Logic and Computation
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Room: HF 04 13
  • Email 1: timothy_stephen.lyon [at] tu-dresden.de
  • Email 2: timothy.s.lyon [at] gmail.com
  • Email 3: lyon [at] logic.at

Note*

This site has not been maintained since 2021. For up-to-date information, please visit my website at: https://sites.google.com/view/timlyon

Research Interests

Automated reasoning, Constructive logics, Deontic logics, Display calculi, Effective translations between calculi, Fuzzy logics, Intermediate logics, Interpolation, Labelled calculi, Logics of agency, Modal logics, Nested calculi, Non-classical Logics, Sequent calculi, STIT logics, Structural proof theory, Tense logics

Current and Previous Position

Currently, I work in the Computational Logic group at Technische Universität Dresden within the ERC project DeciGUT. Until November 2020, I worked on the TICAMORE (Translating and Discovering Calculi for Modal and Related logics) project with my PhD adviser Prof. Agata Ciabattoni as a PhD student in the Doctoral College on Logical Methods in Computer Science. My PhD thesis Refining Labelled Systems for Modal and Constructive Logics with Applications can be found here.

Education

  • PhD in Computational Logic (TU Wien)
  • MA in Logic and Philosophy of Science (LMU Munich)
  • BSc in Computer Science (University of the People)
  • BA in Mathematics (University of California Santa Cruz)
  • BA in Political Science (University of California Santa Cruz)
  • BA in Philosophy (University of California Santa Cruz)
  • ASc in Computer Science (University of the People)

Awards and Scholarships

  • Christiana Hörbiger Prize, 2019
  • Christiana Hörbiger Prize, 2020

Teaching


Publications

  1. T. Lyon. A Framework for Intuitionistic Grammar Logics. International Conference on Logic and Argumentation (CLAR), 2021. [Paper]
  2. T. Lyon. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2021. [Paper]
  3. T. Lyon. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics. Journal of Logic and Computation, 2021. [Paper]
  4. K. van Berkel, T. Lyon. The Varieties of Ought-implies-Can and Deontic STIT Logic. 15th International Conference on Deontic Logic and Normative Systems (DEON), 2021. [Paper]
  5. Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu. Display to Labelled Proofs and Back Again for Tense Logics. ACM Transactions on Computational Logic (TOCL). 2021. [Paper]
  6. Kees van Berkel, Tim Lyon, Francesco Olivieri. A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms. In Conference on Logic and Argumentation (CLAR), 2020. [Paper]
  7. Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.  In Computer Science Logic (CSL), 2020. [Paper]
  8. Tim Lyon. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. In Logical Foundations of Computer Science, Lecture Notes in Computer Science (LNCS), 2020. Springer International Publishing. [Paper]
  9. Tim Lyon. Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. In Logical Foundations of Computer Science, Lecture Notes in Computer Science (LNCS), 2020. Springer International Publishing. [Paper]
  10. Tim Lyon, Kees van Berkel. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.  International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2019. [Paper]
  11. Kees van Berkel, Tim Lyon. A Neutral Temporal Deontic STIT Logic. International Conference on Logic, Rationality and Interaction (LORI), 2019. [Paper]
  12. Kees van Berkel, Tim Lyon. Cut-free Calculi and Relational Semantics for Temporal STIT Logics. Joint European Conference on Logics in Artificial Intelligence Proceedings (JELIA), 2019. [Paper]
  13. Agata Ciabattoni, Tim Lyon, Revantha Ramanayake. From Display to Labelled Proofs for Tense Logics. In Logical Foundations of Computer Science, Lecture Notes in Computer Science (LNCS), pages 120-139, Cham, 2018. Springer International Publishing. [Paper]
  14. Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl. The Basics of Display Calculi. Kriterion: Journal of Philosophy, 31(2):55-100, 2017. [Paper]

Talks

  1. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement (TICAMORE Workshop VII, Virtual/Vienna, Austria, 2021)
  2. The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics (KBS Seminar, Dresden, Germany, 2020)
  3. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (CSL, Barcelona, Spain, 2020)
  4. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (LFCS, Deerfield Beach, Florida, USA, 2020)
  5. Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents (LFCS, Deerfield Beach, Florida, USA, 2020)
  6. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (TICAMORE Workshop V, Vienna, Austria, 2019)
  7. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics (PRIMA, Turin, Italy, 2019)
  8. Cut-free Calculi and Relational Semantics for Temporal STIT Logics (JELIA, Rende, Italy, 2019)
  9. Effective Translations between Display and Labelled Calculi for Tense Logics (Australian National University, Canberra, Australia, 2018)
  10. Tense Logics, Structural Proof Theory, and Effective Translations (University of Melbourne, Melbourne, Australia, 2018)
  11. Tense Logics, Structural Proof Theory, and Effective Translations (University of Denver, Denver, Colorado, USA, 2018)
  12. Effective Translations between Display and Labelled Calculi for Tense Logics (EICNCL, Oxford,  UK, 2018)
  13. Internalizing Labelled Proofs for Tense Logics with Path Axioms (TICAMORE Workshop III, Nancy, France, 2018)
  14. Mutual Translations between Display and Labelled Calculi for Tense Logics (LFCS, Deerfield Beach, Florida, USA, 2018)
  15. Mutual Translations between Display and Labelled Calculi for Tense Logics (TICAMORE Workshop II, Marseilles, France, 2017)
  16. Translations between Internal and External Modal Calculi (International Summer School for Proof Theory in First-Order Logic, Funchal, Madeira, Portugal 2017)
  17. Translating from Labeled Calculi to Display Calculi (TICAMORE Workshop I, Vienna, Austria, 2017)