| Publication | Date of Publication | Type |
|---|
| Simple Axioms for Local Properties | 2024-02-28 | Paper |
| Introduction to the special Section on logic and the foundations of game and decision theory (LOFT12) | 2022-11-22 | Paper |
| Reasoning about general preference relations | 2022-11-08 | Paper |
| Revision by communication | 2022-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016796 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015383 | 2021-12-07 | 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 |
| Program models and semi-public environments | 2020-02-13 | Paper |
| Revising and updating using a back-up semantics | 2019-10-08 | Paper |
| When Are Two Gossips the Same? | 2019-07-04 | Paper |
| Second-order propositional modal logic: expressiveness and completeness results | 2019-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636038 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636290 | 2018-04-23 | Paper |
| Fair decomposition of group obligations | 2018-02-13 | Paper |
| The undecidability of arbitrary arrow update logic | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282950 | 2017-07-18 | Paper |
| Arbitrary arrow update logic | 2016-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457198 | 2015-12-11 | Paper |
| Structures for Epistemic Logic | 2015-05-11 | Paper |
| Completeness and Complexity of Multi-modal CTL | 2015-03-23 | Paper |
| On the definability of simulation and bisimulation in epistemic logic | 2015-01-19 | Paper |
| Fair Allocation of Group Tasks According to Social Norms | 2014-10-14 | Paper |
| A modal logic for mixed strategies | 2014-06-19 | Paper |
| Temporal logics of knowledge and their applications in security | 2013-12-13 | Paper |
| Boolean Games with Epistemic Goals | 2013-11-06 | Paper |
| Model checking Russian cards | 2013-10-07 | Paper |
| Knowledge as strategic ability | 2013-08-27 | Paper |
| A logic for ignorance | 2013-08-27 | Paper |
| On the succinctness of some modal logics | 2013-08-23 | Paper |
| Program equilibrium -- a program reasoning approach | 2013-08-19 | Paper |
| Connecting dynamic epistemic and temporal epistemic logics | 2013-06-11 | Paper |
| Local properties in modal logic | 2012-11-15 | Paper |
| On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic | 2012-08-14 | Paper |
| GOAL Agents Instantiate Intention Logic | 2012-07-23 | Paper |
| QUALITATIVE MODALITIES | 2012-02-17 | Paper |
| Reasoning about social choice functions | 2011-12-15 | Paper |
| Knowledge and Action in Semi-public Environments | 2011-10-19 | Paper |
| On the Definability of Simulability and Bisimilarity by Finite Epistemic Models | 2011-09-16 | Paper |
| Reasoning About the Transfer of Control | 2010-05-31 | Paper |
| Robust normative systems and a logic of norm compliance | 2010-04-08 | Paper |
| Verification of Games in the Game Description Language | 2010-01-14 | Paper |
| A logical characterisation of qualitative coalitional games | 2009-11-30 | Paper |
| Multi-modal CTL: completeness, complexity, and an application | 2009-11-16 | Paper |
| Reasoning about coalitional games | 2009-08-20 | Paper |
| Logics for Qualitative Coalitional Games | 2009-06-29 | Paper |
| Quantified coalition logic | 2009-06-16 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| Knowledge condition games | 2009-03-24 | Paper |
| Model Checking Strategic Equilibria | 2009-03-17 | Paper |
| Dynamic Epistemic Logic and Knowledge Puzzles | 2009-03-06 | Paper |
| A Temporal Logic of Normative Systems | 2009-02-05 | Paper |
| Dynamic epistemic logic | 2008-11-07 | Paper |
| GOAL Agents Instantiate Intention Logic | 2008-10-27 | Paper |
| The Performance of Option—Trading Software Agents: Initial Results | 2008-02-22 | Paper |
| On the logic of cooperation and propositional control | 2007-10-23 | Paper |
| A verification framework for agent programming with declarative goals | 2007-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5296759 | 2007-07-16 | Paper |
| Towards a theory of intention revision | 2007-06-14 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483016 | 2006-08-15 | Paper |
| Process algebra and constraint programming for modeling interactions in MAS | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711865 | 2005-12-08 | Paper |
| On obligations and normative ability: Towards a logical analysis of the social contract | 2005-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695989 | 2005-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681370 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681371 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661972 | 2005-03-30 | Paper |
| Formal semantics of meta-level architectures: Temporal epistemic reflection | 2005-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738121 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738471 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738161 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738167 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473082 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473080 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460679 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433624 | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453636 | 2004-03-07 | Paper |
| Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications | 2004-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4423027 | 2003-08-24 | Paper |
| A fully abstract model for the exchange of information in multi-agent systems. | 2003-08-17 | Paper |
| Towards a Logic of Rational Agency | 2003-06-29 | Paper |
| A general approach to multi-agent minimal knowledge: With tools and samples | 2003-03-12 | Paper |
| Iterated Belief Change in Multi-Agent Systems | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536330 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536331 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535115 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535117 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540938 | 2002-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536751 | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537434 | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536604 | 2002-06-25 | Paper |
| Modal logic with bounded quantification over worlds | 2002-04-11 | Paper |
| How to recover from (non)monotonic inconsistencies | 2002-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757826 | 2001-12-04 | Paper |
| On agents that have the ability to choose | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728930 | 2001-10-23 | Paper |
| On dynamically generated ontology translators in agent communication | 2001-09-09 | Paper |
| On programming KARO agents | 2001-05-16 | Paper |
| Formalizing potential of agents. The KARO framework revisited | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395140 | 2001-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535111 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518807 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955425 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501165 | 2000-09-03 | Paper |
| Persistence and minimality in epistemic logic | 2000-06-07 | Paper |
| A logical approach to the dynamics of commitments | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246960 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247689 | 1999-12-07 | Paper |
| Temporalizing epistemic default logic | 1999-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264063 | 1999-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236374 | 1999-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252258 | 1999-06-17 | Paper |
| Recovery of (non)monotonic theories | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4221352 | 1999-01-03 | Paper |
| Group knowledge is not always distributed (neither is it always implicit) | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842793 | 1998-08-20 | Paper |
| A modal contrastive logic: The logic of ``but | 1998-05-17 | Paper |
| Seeing is believing. And so are hearing and jumping | 1997-08-19 | Paper |
| Counterfactual reasoning by (means of) defaults | 1997-05-11 | Paper |
| The dynamics of default reasoning | 1997-02-27 | Paper |
| Honesty in partial logic | 1996-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867029 | 1996-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858037 | 1995-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835902 | 1995-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4295885 | 1995-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287501 | 1995-06-13 | Paper |
| Counting Objects | 1995-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4275688 | 1994-10-20 | Paper |
| Systems for Knowledge and Belief | 1994-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287509 | 1994-04-12 | Paper |
| Generalized quantifiers and modal logic | 1994-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4697032 | 1993-06-29 | Paper |
| MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005185 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713374 | 1992-06-25 | Paper |
