Timo Lang

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Sequent Calculi

Top Venues

Logica Universalis

Publications

Didier Galmiche, Timo Lang, David J. Pym
Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. CoRR (2024)
Christian G. Fermüller, Robert Freiman, Timo Lang
A Simple Token Game and its Logic. LPAR (2024)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Cut-Restriction: From Cuts to Analytic Cuts. LICS (2023)
Timo Lang
Some Analytic Systems of Rules. TABLEAUX (2023)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Cut-restriction: from cuts to analytic cuts. CoRR (2023)
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. Logica Universalis 16 (1-2) (2022)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
A theory of cut-restriction: first steps. CoRR (2022)
Alexandra Pavlova, Robert Freiman, Timo Lang
From Semantic Games to Provability: The Case of Gödel Logic. Stud Logica 110 (2) (2022)
Hans Dermot Doran, Timo Lang
Dynamic Lockstep Processors for Applications with Functional Safety Relevance. ETFA (2021)
Timo Lang
A Reduction in Violation Logic. DEON (2021)
Hans Dermot Doran, Timo Lang
Dynamic Lockstep Processors for Applications with Functional Safety Relevance. CoRR (2021)
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. CoRR (2021)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics. J. Symb. Log. 86 (2) (2021)
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. LICS (2021)
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. IPMU (1) (2020)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. CoRR (2019)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. TABLEAUX (2019)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Bounded Sequent Calculi for Non-classical Logics via Hypersequents. TABLEAUX (2019)
Christian G. Fermüller, Timo Lang
Interpreting Sequent Calculi as Client-Server Games. TABLEAUX (2017)