| Publication | Date of Publication | Type |
|---|
| Modeling dynamics of legal relations with dynamic logic | 2024-11-12 | Paper |
| Context and the composition of meaning | 2024-05-30 | Paper |
| Public announcements, public lies and recoveries | 2022-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384066 | 2021-12-14 | Paper |
| What is Money? | 2020-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224687 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224801 | 2019-07-24 | Paper |
| Knowing Values and Public Inspection | 2019-07-24 | Paper |
| A temporal dynamic deontic logic | 2019-07-10 | Paper |
| Dynamic gossip | 2019-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619875 | 2019-02-07 | Paper |
| Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* | 2019-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636055 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636291 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599505 | 2018-01-03 | Paper |
| Epistemic protocols for dynamic gossip | 2017-01-16 | Paper |
| Strategies in Social Software | 2016-08-30 | Paper |
| Symbolic Model Checking for Dynamic Epistemic Logic | 2015-12-17 | Paper |
| Dynamic Epistemic Logics | 2015-05-11 | Paper |
| Computational Semantics with Functional Programming | 2015-02-13 | Paper |
| Action emulation between canonical models | 2014-03-24 | Paper |
| Action emulation | 2013-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4912026 | 2013-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2901194 | 2012-07-17 | Paper |
| Composing models | 2012-07-17 | Paper |
| Reflections on Vote Manipulation | 2011-10-19 | Paper |
| A Geometric Look at Manipulation | 2011-09-16 | Paper |
| Logic of Information Flow on Communication Channels | 2011-05-11 | Paper |
| The language of social software | 2011-02-25 | Paper |
| Multi-agent Belief Revision with Linked Preferences | 2010-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574475 | 2010-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571955 | 2010-06-30 | Paper |
| Natural Logic for Natural Language | 2009-03-11 | Paper |
| Propositional Dynamic Logic as a Logic of Belief Revision | 2008-07-10 | Paper |
| Sequentially Indexed Grammars | 2008-05-05 | Paper |
| Logics of communication and change | 2007-01-22 | Paper |
| Normal Forms for Characteristic Functions on n-ary Relations | 2005-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783311 | 2002-12-04 | Paper |
| Tableau reasoning and programming with dynamic first order logic | 2002-05-21 | Paper |
| Incremental dynamics | 2002-03-11 | Paper |
| Basic quantifier theory | 2001-07-26 | Paper |
| Quantifiers and partiality | 2001-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511299 | 2001-03-22 | Paper |
| Making things happen | 2001-02-11 | Paper |
| Typed logics with states | 1997-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865618 | 1996-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866981 | 1996-03-19 | Paper |
| Presupposition failure - a comedy of errors | 1995-04-09 | Paper |
| Reasoning about update logic | 1995-02-22 | Paper |
| Modal Logic, Transition Systems and Processes | 1994-12-07 | Paper |
| Dynamic interpretation and Hoare deduction | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3717024 | 1985-01-01 | Paper |
