| Publication | Date of Publication | Type |
|---|
| The logic of secrets and the interpolation rule | 2023-08-21 | Paper |
| Further Steps Towards a Logic of Polarization in Social Networks | 2022-08-30 | Paper |
| Logics with group announcements and distributed knowledge: completeness and expressive power | 2022-07-15 | Paper |
| Dynamic coalition logic: granting and revoking dictatorial powers | 2022-06-24 | Paper |
| Crossing hands in the Russian cards problem | 2022-06-24 | Paper |
| Modal Logics and Group Polarization | 2022-01-03 | Paper |
| Arbitrary propositional network announcement logic | 2021-12-01 | Paper |
| Reasoning about strategic voting in modal logic quickly becomes undecidable | 2021-09-24 | Paper |
| True lies | 2021-01-18 | Paper |
| On the logic of balance in social networks | 2020-05-27 | Paper |
| Simpler completeness proofs for modal logics with intersection | 2020-04-05 | Paper |
| Coalition logic with individual, distributed and common knowledge1 | 2020-02-13 | Paper |
| Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection | 2020-02-04 | Paper |
| Group announcement logic with distributed knowledge | 2020-01-30 | Paper |
| Analyzing echo chambers: a logic of strong and weak ties | 2020-01-30 | Paper |
| True lies | 2019-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583952 | 2018-08-29 | Paper |
| Towards a logic of tweeting | 2017-11-22 | Paper |
| The undecidability of quantified announcements | 2016-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457198 | 2015-12-11 | Paper |
| Knowledge Games and Coalitional Abilities | 2015-05-11 | Paper |
| Completeness and Complexity of Multi-modal CTL | 2015-03-23 | Paper |
| A logic for reasoning about knowledge of unawareness | 2015-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939520 | 2015-01-22 | Paper |
| Measuring Dissimilarity between Judgment Sets | 2015-01-14 | Paper |
| Boolean Games with Epistemic Goals | 2013-11-06 | Paper |
| Question–answer games | 2012-07-17 | Paper |
| Reasoning about Joint Action and Coalitional Ability in K n with Intersection | 2011-09-16 | Paper |
| What will they say? -- Public announcement games | 2011-06-08 | Paper |
| Group Announcements: Logic and Games (Abstract of Invited Talk) | 2010-08-24 | Paper |
| Group announcement logic | 2010-06-11 | Paper |
| Robust normative systems and a logic of norm compliance | 2010-04-08 | Paper |
| Constructive knowledge: what agents can achieve under imperfect information | 2009-11-30 | Paper |
| Multi-modal CTL: completeness, complexity, and an application | 2009-11-16 | Paper |
| Editorial: Logic and intelligent interaction | 2009-11-04 | 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 |
| Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures | 2009-04-28 | Paper |
| A logic of strategic ability under bounded memory | 2009-03-24 | Paper |
| A Temporal Logic of Normative Systems | 2009-02-05 | Paper |
| Complete Axiomatisations of Properties of Finite Sets | 2008-06-27 | Paper |
| The Dynamics of Syntactic Knowledge | 2007-05-14 | Paper |
| Action and knowledge in alternating-time temporal logic | 2006-08-18 | Paper |
