| Publication | Date of Publication | Type |
|---|
| Knowing how to plan about planning: higher-order and meta-level epistemic planning | 2025-01-17 | Paper |
| \textit{De re} updates | 2024-11-24 | Paper |
| Knowing how to plan | 2024-11-24 | Paper |
| Generalized bundled fragments for first-order modal logic | 2024-08-06 | Paper |
| Strong permission bundled: first steps | 2024-08-05 | Paper |
| Epistemic Syllogistic: First Steps | 2024-02-28 | Paper |
| Neighborhood semantics for logic of knowing how | 2024-02-01 | Paper |
| Are bundles good deals for first-order modal logic? | 2023-07-17 | Paper |
| Tense logics over lattices | 2023-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884976 | 2023-03-24 | Paper |
| A logic of knowing why | 2023-03-17 | Paper |
| MEREOLOGICAL BIMODAL LOGICS | 2022-11-08 | Paper |
| Inquisitive logic as an epistemic logic of knowing how | 2022-09-16 | Paper |
| Model theoretical aspects of weakly aggregative modal logic | 2022-07-15 | Paper |
| Hypergraphs, local reasoning, and weakly aggregative modal logic | 2022-06-24 | Paper |
| BISIMULATIONS FOR KNOWING HOW LOGICS | 2022-05-25 | Paper |
| An Epistemic Interpretation of Tensor Disjunction | 2022-03-25 | Paper |
| Inquisitive Logic as an Epistemic Logic of Knowing How | 2022-03-23 | Paper |
| Quantifier-free epistemic term-modal logic with assignment operator | 2022-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018513 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384090 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015399 | 2021-12-07 | Paper |
| Planning-based knowing how: a unified approach | 2021-11-02 | Paper |
| True lies | 2021-01-18 | Paper |
| A logic of goal-directed knowing how | 2021-01-18 | Paper |
| Beyond Knowing That: A New Generation of Epistemic Logics | 2020-07-24 | Paper |
| Epistemic Informativeness | 2020-02-04 | Paper |
| Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach | 2020-01-30 | Paper |
| Weakly aggregative modal logic: characterization and interpolation | 2020-01-30 | Paper |
| Knowledge-now and knowledge-all | 2020-01-30 | Paper |
| A dynamic epistemic framework for reasoning about conformant probabilistic plans | 2019-08-28 | Paper |
| Achieving While Maintaining: | 2019-07-24 | Paper |
| Knowing Values and Public Inspection | 2019-07-24 | Paper |
| When Names Are Not Commonly Known: Epistemic Logic with Assignments | 2019-07-24 | Paper |
| True lies | 2019-06-13 | Paper |
| More for free: a dynamic epistemic framework for conformant planning over transition systems* | 2018-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636292 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636044 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636315 | 2018-04-23 | Paper |
| Weakly Aggregative Modal Logic: Characterization and Interpolation (new version) | 2018-03-29 | Paper |
| Bundled fragments of first-order modal logic: (un)decidability | 2018-03-28 | Paper |
| A Logic of Knowing How | 2015-12-17 | Paper |
| Hidden protocols: modifying our expectations in an evolving world | 2015-08-27 | Paper |
| CONTINGENCY AND KNOWING WHETHER | 2015-04-24 | Paper |
| Representing Imperfect Information of Procedures with Hyper Models | 2015-01-09 | Paper |
| On axiomatizations of public announcement logic | 2015-01-08 | Paper |
| Book review of: Johan van Benthem, Logical dynamics of information and interaction | 2014-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419900 | 2014-06-11 | Paper |
| Composing models | 2012-07-17 | Paper |
| On Axiomatizations of PAL | 2011-10-19 | Paper |
| Logic of Information Flow on Communication Channels | 2011-05-11 | Paper |
| To know or not to know: Epistemic approaches to security protocol verification | 2011-02-25 | Paper |
| Reasoning about Protocol Change and Knowledge | 2010-12-17 | Paper |
| Refinement of Kripke Models for Dynamics | 2009-01-27 | Paper |
| Propositional Dynamic Logic as a Logic of Belief Revision | 2008-07-10 | Paper |
