Timo Lang

Positions

2021- Postdoctoral Research Fellow, University College London, London, UK

2017-2021 PhD student, TU Vienna, Vienna, Austria

Publications

• Some Analytic Systems of Rules
  to appear in: Proceedings of TABLEAUX 2023, Springer International Publishing, 2023.

• Cut-restriction: from cuts to analytic cuts
  with Agata Ciabattoni and Revantha Ramanayake
  to appear in: Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2023.

• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
  with Chris Fermüller and Alexandra Pavlova
  Logica Universalis 16.1-2, 2022.

• Decidability and complexity in weakening and contraction hypersequent substructural logics
  with A.R. Balasubramanian and Revantha Ramanayake
  Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2021.

• A Reduction in Violation Logic
  Proceedings of DEON2020/21 (pp. 291–307).

• Bounded-analytic sequent calculi and embeddings for hypersequent logics
  with Agata Ciabattoni and Revantha Ramanayake
  The Journal of Symbolic Logic 86.2, 2021.

• Bounded sequent calculi for non-classical logics via hypersequents
  with Agata Ciabattoni and Revantha Ramanayake
  Proceedings of TABLEAUX 2019, Springer International Publishing, 2019.

• A game model for proofs with costs (Best Student Paper Award)
  with Carlos Olarte, Elaine Pimentel and Chris Fermüller
  Proceedings of TABLEAUX 2019, Springer International Publishing, 2019.

• Interpreting sequent calculi as client-server games
  with Chris Fermüller
  Proceedings of TABLEAUX 2017, Springer International Publishing, 2017.

• Games, Modalities and Analytic Proofs in Nonclassical Logics
  (thesis)