| Publication | Date of Publication | Type |
|---|
| Efficient reasoning about knowledge and common knowledge | 2024-10-24 | Paper |
| Knowledge representation: modalities, conditionals, and nonmonotonic reasoning | 2024-09-11 | Paper |
| Reasoning about action and change | 2024-09-11 | Paper |
| Epistemic planning: perspectives on the special issue | 2023-06-19 | Paper |
| Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic | 2023-03-31 | Paper |
| Qualitative uncertainty and dynamics of argumentation through dynamic logic | 2023-03-30 | Paper |
| Database repair via event-condition-action rules in dynamic logic | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104712 | 2022-09-15 | Paper |
| Frame-validity games and lower bounds on the complexity of modal axioms | 2022-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020961 | 2022-01-11 | Paper |
| Relaxing exclusive control in Boolean games | 2021-12-14 | Paper |
| Epistemic reasoning about rationality and bids in auctions | 2021-12-01 | Paper |
| A lightweight epistemic logic and its application to planning | 2021-11-02 | Paper |
| Resource separation in dynamic logic of propositional assignments | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999277 | 2021-07-06 | Paper |
| Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change | 2020-08-10 | Paper |
| Possible worlds semantics based on observation and communication | 2020-07-24 | Paper |
| Resource separation in dynamic logic of propositional assignments | 2020-07-08 | Paper |
| Autoepistemic equilibrium logic and epistemic specifications | 2020-03-27 | Paper |
| The dynamic logic of policies and contingent planning | 2020-02-18 | Paper |
| A dynamic logic account of active integrity constraints | 2019-12-06 | Paper |
| Encoding argument graphs in logic | 2019-08-20 | Paper |
| Frame-validity games and absolute minimality of modal axioms | 2019-07-24 | Paper |
| Talkin'bout consistency, or: When logically possible becomes possible | 2019-04-29 | Paper |
| Judgment aggregation in dynamic logic of propositional assignments | 2019-01-31 | Paper |
| The epistemic gossip problem | 2019-01-22 | Paper |
| A formal account of dishonesty | 2019-01-08 | Paper |
| Dynamic epistemic logics: promises, problems, shortcomings, and perspectives | 2018-09-12 | Paper |
| Public announcements, public assignments and the complexity of their logic | 2018-08-28 | Paper |
| A simple account of multi-agent epistemic planning | 2018-07-12 | Paper |
| Before announcement | 2018-04-23 | Paper |
| How to share knowledge by gossiping | 2017-11-10 | Paper |
| On the revision of planning tasks | 2017-07-18 | Paper |
| Dynamic logic of propositional assignments: a well-behaved variant of PDL | 2017-07-03 | Paper |
| On hierarchical task networks | 2016-11-30 | Paper |
| Refinement of intentions | 2016-11-30 | Paper |
| Using STIT theory to talk about strategies | 2016-08-30 | Paper |
| Announcements to attentive agents | 2016-07-04 | Paper |
| A poor man's epistemic logic based on propositional assignment and higher-order observation | 2015-12-17 | Paper |
| Propositional update operators based on formula/literal dependence | 2015-09-17 | Paper |
| Three traditions in the logic of action: bringing them together | 2015-04-10 | Paper |
| A dynamic view of active integrity constraints | 2015-01-14 | Paper |
| Some truths are best left unsaid | 2014-06-11 | Paper |
| Capturing equilibrium models in modal logic | 2014-04-24 | Paper |
| Belief merging in dynamic logic of propositional assignments | 2014-03-31 | Paper |
| Listen to me! Public announcements to agents that pay attention -- or not | 2013-11-06 | Paper |
| Reasoning about actions meets strategic logics | 2013-11-06 | Paper |
| Combining equilibrium logic and dynamic logic | 2013-10-10 | Paper |
| Kripke's worlds. An introduction to modal logics via tableaux | 2013-10-09 | Paper |
| From coalition logic to STIT | 2013-10-07 | Paper |
| A logical framework for grounding-based dialogue analysis | 2013-10-07 | Paper |
| A simple separation logic | 2013-09-17 | Paper |
| Grounding power on actions and mental attitudes | 2013-06-11 | Paper |
| A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions | 2012-11-02 | Paper |
| Exploring the power of converse events | 2012-08-23 | Paper |
| The Modal Logic of Equilibrium Models | 2011-10-07 | Paper |
| A dynamic logic of institutional actions | 2011-09-16 | Paper |
| Modal tableaux: completeness vs. termination | 2011-06-21 | Paper |
| From Situation Calculus to Dynamic Epistemic Logic | 2011-06-10 | Paper |
| Coalition games over Kripke semantics: expressiveness and complexity | 2011-05-31 | Paper |
| Contingency-based equilibrium logic | 2011-05-26 | Paper |
| Properties of logics of individual and group agency | 2011-03-30 | Paper |
| A dynamic logic for termgraph rewriting | 2010-10-04 | Paper |
| A Logical Account of Lying | 2010-10-01 | Paper |
| `Knowable' as `known after an announcement' | 2010-08-13 | Paper |
| On the dynamics of institutional agreements | 2010-05-10 | Paper |
| A logic of trust and reputation | 2010-04-08 | Paper |
| On iterated revision in the AGM framework | 2010-04-06 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2010-04-06 | Paper |
| A dynamic logic of agency. I: STIT, capabilities and powers | 2010-03-05 | Paper |
| Tableaux for Public Announcement Logic | 2010-02-19 | Paper |
| What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics | 2010-02-05 | Paper |
| Unifying the intentional and institutional semantics of speech acts | 2010-02-02 | Paper |
| Tableaux for acceptance logic | 2010-02-02 | Paper |
| The logic of acceptance: grounding institutions on agents' attitudes | 2010-01-14 | Paper |
| Intentions and Assignments | 2010-01-07 | Paper |
| Dynamic Context Logic | 2010-01-07 | Paper |
| Epistemic games in modal logic: Joint actions, knowledge and preferences all together | 2010-01-07 | Paper |
| Regression in modal logic | 2009-11-30 | Paper |
| On the Dynamics of Institutional Agreements | 2009-11-12 | Paper |
| A logical formalization of the OCC theory of emotions | 2009-11-04 | Paper |
| Introspective forgetting | 2009-11-04 | Paper |
| Metatheory of actions: beyond consistency | 2009-07-09 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| OCC’s Emotions: A Formalization in a BDI Logic | 2008-11-27 | Paper |
| Introducing Attempt in a Modal Logic of Intentional Action | 2008-10-30 | Paper |
| A STIT-Extension of ATL | 2008-10-30 | Paper |
| A Modularity Approach for a Fragment of $\mathcal{ALC}$ | 2008-10-30 | Paper |
| Uniform Interpolation by Resolution in Modal Logic | 2008-10-27 | Paper |
| From DEL to EDL: Exploring the Power of Converse Events | 2008-09-16 | Paper |
| Alternative axiomatics and complexity of deliberative STIT theories | 2008-08-20 | Paper |
| A logic of intention and attempt | 2008-07-30 | Paper |
| Terminating modal tableaux with simple completeness proof | 2008-07-01 | Paper |
| A Tableau Method for Public Announcement Logics | 2008-01-04 | Paper |
| Embedding Alternating-time Temporal Logic in Strategic Logic of Agency | 2007-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483003 | 2006-08-15 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460680 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448344 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539631 | 2002-07-10 | Paper |
| Propositional belief base update and minimal change | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952297 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944961 | 2000-03-22 | Paper |
| Formalizing action and change in modal logic I: the frame problem | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247690 | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4235432 | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236367 | 1999-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225117 | 1999-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385438 | 1998-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688815 | 1997-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688921 | 1997-06-09 | Paper |
| A translation from the modal logic of provability into K4 | 1994-12-12 | Paper |
| From ordering-based nonmonotonic reasoning to conditional logics | 1994-07-18 | Paper |
| Interference logic = conditional logic + frame axiom | 1994-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4279076 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012252 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3800001 | 1988-01-01 | Paper |
