| Publication | Date of Publication | Type |
|---|
| Solutions to the knower paradox in the light of Haack's criteria | 2023-08-02 | Paper |
| Two-sided sequent calculi for \textit{FDE}-like four-valued logics | 2023-04-24 | Paper |
| Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions | 2022-09-08 | Paper |
| How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation | 2022-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016794 | 2021-12-14 | Paper |
| Arrow update synthesis | 2020-12-15 | Paper |
| Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic | 2020-07-24 | Paper |
| A dynamic epistemic framework for reasoning about conformant probabilistic plans | 2019-08-28 | Paper |
| THE AMBIGUITY OF KNOWABILITY | 2017-05-31 | Paper |
| Arbitrary arrow update logic | 2016-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2818537 | 2016-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2990022 | 2016-07-29 | Paper |
| One Hundred Prisoners and a Light Bulb | 2015-07-15 | Paper |
| Logic and Probabilistic Update | 2015-05-11 | Paper |
| Three-valued logics in modal logic | 2013-12-05 | Paper |
| On the succinctness of some modal logics | 2013-08-23 | Paper |
| COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX | 2013-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4648829 | 2012-11-16 | Paper |
| Local properties in modal logic | 2012-11-15 | Paper |
| Logics of Rational Interaction | 2012-08-23 | Paper |
| On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic | 2012-08-14 | Paper |
| ARROW UPDATE LOGIC | 2012-03-29 | Paper |
| Expressivity and completeness for public update logics via reduction axioms | 2009-11-30 | Paper |
| Dynamic update with probabilities | 2009-11-04 | Paper |
| Erratum to: ``Strong completeness and limited canonicity for PDL | 2009-05-04 | Paper |
| Strong completeness and limited canonicity for PDL | 2009-03-24 | Paper |
| Dynamic Epistemic Logic and Knowledge Puzzles | 2009-03-06 | Paper |
| Dynamic epistemic logic | 2008-11-07 | Paper |
| Conflicting Obligations in Multi-agent Deontic Logic | 2008-10-09 | Paper |
| Moral conflicts between groups of agents | 2008-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5296759 | 2007-07-16 | Paper |
| Logics of communication and change | 2007-01-22 | Paper |
| The secret of my success | 2006-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483016 | 2006-08-15 | Paper |
| Hybrid Logics with Infinitary Proof Systems | 2006-07-03 | Paper |
| Trying to resolve the two-envelope problem | 2005-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661972 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453636 | 2004-03-07 | Paper |
| Probabilistic dynamic epistemic logic | 2003-09-01 | Paper |
