| Publication | Date of Publication | Type |
|---|
| A separation logic with histories of epistemic actions as resources | 2024-02-28 | Paper |
| Comparing the Update Expressivity of Communication Patterns and Action Models | 2024-02-28 | Paper |
| The Expressivity of Quantified Group Announcements | 2024-02-08 | Paper |
| Almost APAL | 2024-02-08 | Paper |
| Communication pattern logic: epistemic and topological views | 2023-10-24 | Paper |
| Impure Simplicial Complexes: Complete Axiomatization | 2023-10-23 | Paper |
| An epistemic separation logic with action models | 2023-08-16 | Paper |
| Everyone knows that everyone knows | 2023-06-28 | Paper |
| The limits to gossip: second-order shared knowledge of all secrets is unsatisfiable | 2023-06-02 | Paper |
| To be announced | 2023-05-19 | Paper |
| Neighbourhood Semantics for Graded Modal Logic | 2023-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884954 | 2023-03-24 | Paper |
| Model Checking for Coalition Announcement Logic | 2023-03-24 | Paper |
| Reachability and expectation in gossiping | 2022-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869598 | 2022-09-28 | Paper |
| Logics for knowability | 2022-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104697 | 2022-09-15 | Paper |
| Wanted dead or alive: epistemic logic for impure simplicial complexes | 2022-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5071250 | 2022-04-20 | Paper |
| Copy and remove as dynamic operators | 2022-03-03 | Paper |
| Asynchronous Announcements | 2022-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028475 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016794 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016796 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015398 | 2021-12-07 | Paper |
| Expressivity of some versions of APAL | 2021-12-01 | Paper |
| Announcement as effort on topological spaces | 2021-11-29 | Paper |
| Positive announcements | 2021-08-19 | Paper |
| A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5000284 | 2021-07-12 | Paper |
| From Public Announcements to Asynchronous Announcements | 2021-07-06 | Paper |
| Everyone knows that everyone knows | 2021-03-19 | Paper |
| True lies | 2021-01-18 | Paper |
| Arrow update synthesis | 2020-12-15 | Paper |
| The logic of gossiping | 2020-11-16 | Paper |
| The Pleasure of Gossip | 2020-07-27 | Paper |
| Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic | 2020-07-24 | Paper |
| Bilattice logic of epistemic actions and knowledge | 2020-04-14 | Paper |
| Knowledge without complete certainty | 2020-03-04 | Paper |
| DYNAMIC GRADED EPISTEMIC LOGIC | 2020-02-20 | Paper |
| Reachability of five gossip protocols | 2019-10-22 | Paper |
| Forgetting in multi-agent modal logics | 2019-08-28 | Paper |
| Neighbourhood Contingency Bisimulation | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224687 | 2019-07-24 | Paper |
| True lies | 2019-06-13 | Paper |
| A public announcement separation logic | 2019-05-27 | Paper |
| Dynamic gossip | 2019-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619873 | 2019-02-07 | Paper |
| The succinctness of the cover modality | 2018-09-12 | Paper |
| Propositional quantification in logics of contingency | 2018-09-12 | Paper |
| Public announcements, public assignments and the complexity of their logic | 2018-08-28 | Paper |
| Private announcements on topological spaces | 2018-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636025 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636026 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636038 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636290 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636292 | 2018-04-23 | Paper |
| Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief | 2018-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599503 | 2018-01-03 | Paper |
| Strategic knowledge of the past in quantum cryptography | 2017-11-22 | Paper |
| The undecidability of arbitrary arrow update logic | 2017-09-12 | Paper |
| The modal logic of copy and remove | 2017-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282950 | 2017-07-18 | Paper |
| Epistemic protocols for dynamic gossip | 2017-01-16 | Paper |
| Arbitrary arrow update logic | 2016-11-29 | Paper |
| The undecidability of quantified announcements | 2016-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2818537 | 2016-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2990022 | 2016-07-29 | Paper |
| Announcements to attentive agents | 2016-07-04 | Paper |
| The complexity of one-agent refinement modal logic | 2015-10-12 | Paper |
| An Epistemic Separation Logic | 2015-09-24 | Paper |
| Hidden protocols: modifying our expectations in an evolving world | 2015-08-27 | Paper |
| One Hundred Prisoners and a Light Bulb | 2015-07-15 | Paper |
| Knowledge Games and Coalitional Abilities | 2015-05-11 | Paper |
| CONTINGENCY AND KNOWING WHETHER | 2015-04-24 | Paper |
| On Revocable and Irrevocable Belief Revision | 2015-04-10 | Paper |
| Semantics for knowledge and change of awareness | 2015-02-27 | Paper |
| A geometric protocol for cryptography with cards | 2015-01-23 | Paper |
| On the definability of simulation and bisimulation in epistemic logic | 2015-01-19 | Paper |
| Logics with Copy and Remove | 2015-01-13 | Paper |
| Neighborhood Contingency Logic | 2015-01-09 | Paper |
| Editorial introduction to the special issue LORI Guangzhou | 2015-01-08 | Paper |
| Dynamics of lying | 2015-01-08 | Paper |
| Subset Space Logic with Arbitrary Announcements | 2015-01-06 | Paper |
| Refinement modal logic | 2014-11-28 | Paper |
| Partial Information and Uniform Strategies | 2014-10-14 | Paper |
| Revocable belief revision | 2014-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419869 | 2014-06-11 | Paper |
| DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT | 2014-05-02 | Paper |
| A colouring protocol for the generalized Russian cards problem | 2014-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2869467 | 2014-01-03 | Paper |
| Listen to Me! Public Announcements to Agents That Pay Attention — or Not | 2013-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852032 | 2013-10-07 | Paper |
| Connecting dynamic epistemic and temporal epistemic logics | 2013-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4648829 | 2012-11-16 | Paper |
| Local properties in modal logic | 2012-11-15 | Paper |
| Quantifying Notes | 2012-09-21 | Paper |
| The Complexity of One-Agent Refinement Modal Logic | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904048 | 2012-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2901194 | 2012-07-17 | Paper |
| Question–answer games | 2012-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2889460 | 2012-06-07 | Paper |
| Logic in India -- editorial introduction | 2012-03-09 | Paper |
| Three Steps | 2011-09-16 | Paper |
| On the Definability of Simulability and Bisimilarity by Finite Epistemic Models | 2011-09-16 | Paper |
| The rules of the game are changing: Scientific impact factors and publication strategies among logicians | 2011-06-10 | Paper |
| From Situation Calculus to Dynamic Epistemic Logic | 2011-06-10 | Paper |
| What will they say? -- Public announcement games | 2011-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086938 | 2011-03-30 | Paper |
| Becoming Aware of Propositional Variables | 2010-12-17 | Paper |
| ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ | 2010-08-13 | Paper |
| Group announcement logic | 2010-06-11 | Paper |
| Logic of change, change of logic | 2010-05-10 | Paper |
| Tableaux for Public Announcement Logic | 2010-02-19 | Paper |
| Intentions and Assignments | 2010-01-07 | Paper |
| The case of the hidden hand | 2009-11-30 | Paper |
| Simulation and Information: Quantifying over Epistemic Events | 2009-11-12 | Paper |
| Introspective forgetting | 2009-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3635505 | 2009-07-06 | Paper |
| Dynamic Epistemic Logic and Knowledge Puzzles | 2009-03-06 | Paper |
| Dynamic epistemic logic | 2008-11-07 | Paper |
| Sum and Product in Dynamic Epistemic Logic | 2008-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5442370 | 2008-02-22 | Paper |
| A Tableau Method for Public Announcement Logics | 2008-01-04 | Paper |
| Comments to `Logics of public communications' | 2007-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5294912 | 2007-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5296759 | 2007-07-16 | Paper |
| My beliefs about your beliefs: a case study in theory of mind and epistemic logic | 2007-06-14 | Paper |
| The secret of my success | 2006-12-20 | Paper |
| AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
| The logic of Pit | 2006-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483016 | 2006-08-15 | Paper |
| Permuting machines and priority queues | 2006-03-20 | Paper |
| Prolegomena to dynamic logic for belief revision | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5708984 | 2005-11-21 | Paper |
| Sorting classes | 2005-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695984 | 2005-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661972 | 2005-03-30 | Paper |
| Restricted permutations and queue jumping | 2004-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453636 | 2004-03-07 | Paper |
| The Russian cards problem | 2004-01-23 | Paper |
| Descriptions of game actions | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433636 | 2002-01-01 | Paper |
