| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kuznets, Roman | What Proof Theory Can Do for You | Presentation Vortrag | 17-Jan-2024 |
| 2 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | A decision procedure for IS4 | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 3 | | Kuznets, Roman | Simplicial approaches to crashing agents | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 4 | | Randrianomentsoa, Rojo Fanamperana ; van Ditmarsch, Hans ; Kuznets, Roman | Impure simplicial complexes: complete axiomatization | Article Artikel | 18-Oct-2023 |
| 5 | | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo Fanamperana | Simplicial Introduction | Presentation Vortrag | 6-Oct-2023 |
| 6 | | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo | On Two- and Three-valued Semantics for Impure Simplicial Complexes | Inproceedings Konferenzbeitrag | 30-Sep-2023 |
| 7 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 and its decidability | Presentation Vortrag | 27-Sep-2023 |
| 8 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 9 | | Cignarale, Giorgio ; Kuznets, Roman ; Rincon Galeana, Hugo ; Schmid, Ulrich | Logic of Communication Interpretation: How to Not Get Lost in Translation | Inproceedings Konferenzbeitrag | 13-Sep-2023 |
| 10 | | Kuznets, Roman | Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof Theory | Inproceedings Konferenzbeitrag | 13-Sep-2023 |
| 11 | | Cignarale, Giorgio ; Schmid, Ulrich ; Tahko, Tuomas ; Kuznets, Roman | The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems | Article Artikel | Jun-2023 |
| 12 | | Kuznets, Roman | Messages Agents Send; Agents Who Send Messages | Presentation Vortrag | 24-Feb-2023 |
| 13 | | Winkler, Kyrill ; Paz, Ami ; Galeana, Hugo Rincon ; Schmid, Stefan ; Schmid, Ulrich | The Time Complexity of Consensus Under Oblivious Message Adversaries | Inproceedings Konferenzbeitrag | 1-Feb-2023 |
| 14 | | Kuznets, Roman | On Interpolation | Presentation Vortrag | 28-Jan-2023 |
| 15 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Decidability of intuitionistic S4 | Inproceedings Konferenzbeitrag | 2023 |
| 16 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 is decidable | Inproceedings Konferenzbeitrag | 2023 |
| 17 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Nested Sequents, Kripke Models, and Uniform Interpolation | Presentation Vortrag | 1-Nov-2022 |
| 18 | | Randrianomentsoa, Rojo Fanamperana ; Rincon Galeana, Hugo ; Schmid, Ulrich | Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems | Presentation Vortrag | 24-Oct-2022 |
| 19 | | van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman | Framing faultiness Kripke style | Presentation Vortrag | 6-Sep-2022 |
| 20 | | Fruzsa, Krisztina | New hope for epistemic reasoning in byzantine fault-tolerant distributed systems | Presentation Vortrag | 9-Jun-2022 |