List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Cut-restriction: from cuts to analytic cuts | 2026-02-27 | Paper |
| Analytic proofs for tense logic | 2026-02-10 | Paper |
| A simple token game and its logic | 2025-02-19 | Paper |
| Some analytic systems of rules | 2024-05-17 | Paper |
| A reduction in violation logic | 2023-02-21 | Paper |
| From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic 1512.03043 | 2022-12-06 | Paper |
| From truth degree comparison games to sequents-of-relations calculi for Gödel logic Logica Universalis | 2022-09-01 | Paper |
| From semantic games to provability: the case of Gödel logic Studia Logica | 2022-03-23 | Paper |
| BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS Journal of Symbolic Logic | 2021-10-27 | Paper |
| Bounded sequent calculi for non-classical logics via hypersequents | 2020-05-14 | Paper |
| A game model for proofs with costs (available as arXiv preprint) | 2020-05-14 | Paper |
| Interpreting sequent calculi as client-server games | 2018-02-02 | Paper |
Research outcomes over time
This page was built for person: Timo Lang
