Tim Lyon

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

  • Room: HF 04 13
  • Phone: +43 681 205 532 59
  • Email: lyon [at] logic.at

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 Position

I have been a PhD student in the Doctoral College on Logical Methods in Computer Science since November 2016. I am currently working on the TICAMORE (Translating and dIscovering CAlculi for MOdal and RElated logics) project with my PhD adviser Prof. Agata Ciabattoni, where we focus on developing and applying effective translations between proof systems in order to solve problems in the domain of mathematical logic and theoretical computer science.

Education

  • MA in Logic and Philosophy of Science (LMU Munich), master thesis: Paradox and the Undefined, September 2016
  • 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. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Kees van Berkel, Tim Lyon. A Neutral Temporal Deontic STIT Logic. International Conference on Logic, Rationality and Interaction (LORI), 2019. [Paper]
  7. 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]
  8. 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]
  9. 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. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (CSL, Barcelona, Spain, 2020)
  2. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (LFCS, Deerfield Beach, Florida, USA, 2020)
  3. Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents (LFCS, Deerfield Beach, Florida, USA, 2020)
  4. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems (TICAMORE Workshop V, Vienna, Austria, 2019)
  5. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics (PRIMA, Turin, Italy, 2019)
  6. Cut-free Calculi and Relational Semantics for Temporal STIT Logics (JELIA, Rende, Italy, 2019)
  7. Effective Translations between Display and Labelled Calculi for Tense Logics (Australian National University, Canberra, Australia, 2018)
  8. Tense Logics, Structural Proof Theory, and Effective Translations (University of Melbourne, Melbourne, Australia, 2018)
  9. Tense Logics, Structural Proof Theory, and Effective Translations (University of Denver, Denver, Colorado, USA, 2018)
  10. Effective Translations between Display and Labelled Calculi for Tense Logics (EICNCL, Oxford,  UK, 2018)
  11. Internalizing Labelled Proofs for Tense Logics with Path Axioms (TICAMORE Workshop III, Nancy, France, 2018)
  12. Mutual Translations between Display and Labelled Calcul for Tense Logics (LFCS, Deerfield Beach, Florida, USA, 2018)
  13. Mutual Translations between Display and Labelled Calculi for Tense Logics (TICAMORE Workshop II, Marseilles, France, 2017)
  14. Translations between Internal and External Modal Calculi (International Summer School for Proof Theory in First-Order Logic, Funchal, Madeira, Portugal 2017)
  15. Translating from Labelled Calculi into Display Calculi (TICAMORE Workshop I, Vienna, Austria, 2017)