| Publication | Date of Publication | Type |
|---|
| Fire! | 2024-11-24 | Paper |
| Minimizing agents' state corruption resulting from leak-free epistemic communication modeling | 2024-10-30 | Paper |
| Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation | 2024-05-17 | Paper |
| Logic of Communication Interpretation: How to Not Get Lost in Translation | 2024-05-03 | Paper |
| Impure Simplicial Complexes: Complete Axiomatization | 2023-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884954 | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039162 | 2022-10-12 | Paper |
| Uniform interpolation via nested sequents | 2022-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018518 | 2021-12-20 | Paper |
| Interpolation for intermediate logics via injective nested sequents | 2021-09-22 | Paper |
| Through an Inference Rule, Darkly | 2020-08-10 | Paper |
| Epistemic reasoning with Byzantine-faulty agents | 2020-05-13 | Paper |
| Craig Interpolation via Hypersequents | 2020-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5232011 | 2019-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224582 | 2019-07-24 | Paper |
| Maehara-style modal nested calculi | 2019-03-27 | Paper |
| Weak arithmetical interpretations for the Logic of Proofs | 2019-01-08 | Paper |
| Grafting hypersequents onto nested sequents | 2019-01-08 | Paper |
| Multicomponent proof-theoretic method for proving interpolation properties | 2018-10-18 | Paper |
| Interpolation Method for Multicomponent Sequent Calculi | 2017-07-21 | Paper |
| Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi | 2016-11-30 | Paper |
| Two Ways to Common Knowledge | 2016-08-05 | Paper |
| Realization Theorems for Justification Logics: Full Modularity | 2015-12-11 | Paper |
| Update as Evidence: Belief Expansion | 2015-12-11 | Paper |
| Modal interpolation via nested sequents | 2015-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419893 | 2014-06-11 | Paper |
| Realizing public announcements by justifications | 2014-06-10 | Paper |
| Logical omniscience as infeasibility | 2014-01-13 | Paper |
| Decidability for Justification Logics Revisited | 2013-04-12 | Paper |
| A syntactic realization theorem for justification logics | 2012-08-05 | Paper |
| Justifications for common knowledge | 2012-07-17 | Paper |
| Realization for justification logics via nested sequents: modularity through embedding | 2012-07-11 | Paper |
| Lower complexity bounds in justification logic | 2012-04-10 | Paper |
| Partial Realization in Dynamic Justification Logic | 2011-05-27 | Paper |
| Self-referential justifications in epistemic logic | 2010-08-13 | Paper |
| Logical Omniscience Via Proof Complexity | 2009-03-12 | Paper |
| The NP-Completeness of Reflected Fragments of Justification Logics | 2009-02-24 | Paper |
| Self-referentiality of Justified Knowledge | 2008-06-05 | Paper |
| Proof Identity for Classical Logic: Generalizing to Normality | 2008-01-04 | Paper |
| Making knowledge explicit: how hard it is | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753686 | 2001-12-03 | Paper |
| Extensions of K5: Proof Theory and Uniform Lyndon Interpolation | N/A | Paper |
