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 813 506 75
  • Email: lyon [at] logic.at

Research Interests

Structural Proof Theory, Modal Logics, Non-classical Logics, Tense Logics, Deontic Logics, Logics of Agency, Effective Translations between Calculi, Interpolation

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.


  • 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)


  1. Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl. The Basics of Display Calculi. Kriterion: Journal of Philosophy, 31(2):55-100, 2017. [Paper]
  2. 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]
  3. Kees van Berkel, Tim Lyon. Cut-free Calculi and Relational Semantics for Temporal STIT Logics. Joint European Conference on Logics in Artificial Intelligence Proceedings, 2019. [Paper]