| Publication | Date of Publication | Type |
|---|
| The modal logic of \(n\)-state frames | 2026-02-10 | Paper |
| Next-time coalition logic | 2026-02-10 | Paper |
| Intentionally anonymous public announcements | 2026-02-10 | Paper |
| The surprise exam in full modal fixed-point logic | 2026-01-08 | Paper |
| A formal analysis of Hollis' paradox | 2024-06-26 | Paper |
| Action models for coalition logic | 2024-06-05 | Paper |
| Cautious distributed belief | 2024-06-05 | Paper |
The logic of secrets and the interpolation rule
Annals of Mathematics and Artificial Intelligence | 2023-08-21 | Paper |
Further Steps Towards a Logic of Polarization in Social Networks
Lecture Notes in Computer Science | 2022-08-30 | Paper |
Logics with group announcements and distributed knowledge: completeness and expressive power
Journal of Logic, Language and Information | 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
Journal Of Logic And Computation | 2022-01-03 | Paper |
| Arbitrary propositional network announcement logic | 2021-12-01 | Paper |
Reasoning about strategic voting in modal logic quickly becomes undecidable
Journal Of Logic And Computation | 2021-09-24 | Paper |
True lies
Journal of the Economic Science Association | 2021-01-18 | Paper |
True lies
Synthese | 2021-01-18 | Paper |
On the logic of balance in social networks
Journal of Logic, Language and Information | 2020-05-27 | Paper |
Simpler completeness proofs for modal logics with intersection
(available as arXiv preprint) | 2020-04-05 | Paper |
Coalition logic with individual, distributed and common knowledge
Journal Of Logic And Computation | 2020-02-13 | Paper |
Embedding coalition logic in the minimal normal multimodal logic with intersection
Modality, Semantics and Interpretations | 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
Journal of the Economic Science Association | 2019-06-13 | Paper |
True lies
Synthese | 2019-06-13 | Paper |
| \textsc{NorMC}: a norm compliance temporal logic model checker | 2018-08-29 | Paper |
| Towards a logic of tweeting | 2017-11-22 | Paper |
The undecidability of quantified announcements
Studia Logica | 2016-09-07 | Paper |
| Conservative social laws | 2015-12-11 | Paper |
Knowledge games and coalitional abilities
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Completeness and complexity of multi-modal CTL
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
A logic for reasoning about knowledge of unawareness
Journal of Logic, Language and Information | 2015-02-27 | Paper |
| scientific article; zbMATH DE number 6389550 (Why is no real title available?) | 2015-01-22 | Paper |
Measuring dissimilarity between judgment sets
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Boolean games with epistemic goals
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Public Announcements, Private Actions and Common Knowledge in S5 Structures
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Question-answer games
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection
Lecture Notes in Computer Science | 2011-09-16 | Paper |
What will they say? -- Public announcement games
Synthese | 2011-06-08 | Paper |
Group Announcements: Logic and Games (Abstract of Invited Talk)
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Group announcement logic
Journal of Applied Logic | 2010-06-11 | Paper |
Robust normative systems and a logic of norm compliance
Logic Journal of the IGPL | 2010-04-08 | Paper |
Constructive knowledge: what agents can achieve under imperfect information
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Multi-modal CTL: completeness, complexity, and an application
Studia Logica | 2009-11-16 | Paper |
Editorial: Logic and intelligent interaction
Synthese | 2009-11-04 | Paper |
Reasoning about coalitional games
Artificial Intelligence | 2009-08-20 | Paper |
Logics for Qualitative Coalitional Games
Logic Journal of the IGPL | 2009-06-29 | Paper |
Quantified coalition logic
Synthese | 2009-06-16 | Paper |
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
Lecture Notes in Computer Science | 2009-04-28 | Paper |
A logic of strategic ability under bounded memory
Journal of Logic, Language and Information | 2009-03-24 | Paper |
A Temporal Logic of Normative Systems
Towards Mathematical Philosophy | 2009-02-05 | Paper |
Complete Axiomatisations of Properties of Finite Sets
Logic Journal of the IGPL | 2008-06-27 | Paper |
The Dynamics of Syntactic Knowledge
Journal Of Logic And Computation | 2007-05-14 | Paper |
Action and knowledge in alternating-time temporal logic
Synthese | 2006-08-18 | Paper |
