| Publication | Date of Publication | Type |
|---|
| Measuring violations of positive involvement in voting | 2024-11-24 | Paper |
| Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting | 2024-04-30 | Paper |
| Voting theory in the Lean theorem prover | 2022-06-24 | Paper |
| Choice-driven counterfactuals | 2022-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018516 | 2021-12-20 | Paper |
| Arrow's decisive coalitions | 2020-05-12 | Paper |
| Intention as commitment toward time | 2020-04-21 | Paper |
| Dependence and Independence in Social Choice: Arrow’s Theorem | 2020-02-04 | Paper |
| ACTION TYPES IN STIT SEMANTICS | 2018-01-17 | Paper |
| Neighborhood semantics for modal logic | 2017-08-24 | Paper |
| Dynamic models of rational deliberation in games | 2016-08-30 | Paper |
| On the use (and abuse) of logic in game theory | 2016-04-13 | Paper |
| Toward a theory of play: a logical perspective on games and interaction | 2015-05-19 | Paper |
| Temporal Aspects of the Dynamics of Knowledge | 2015-05-11 | Paper |
| Towards a logical analysis of \textit{Adjusted Winner} | 2015-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939555 | 2015-01-22 | Paper |
| Evidence logic: a new look at neighborhood structures | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5417809 | 2014-05-22 | Paper |
| Substantive assumptions in interaction: a logical perspective | 2014-04-15 | Paper |
| Evidence and plausibility in neighborhood structures | 2014-01-13 | Paper |
| Logics of informational attitudes and informative actions | 2013-10-04 | Paper |
| Social interaction, knowledge, and social software | 2013-06-18 | Paper |
| Logics of rational interaction | 2012-08-23 | Paper |
| Dynamic logics of evidence-based beliefs | 2011-11-23 | Paper |
| Reasoning with protocols under imperfect information | 2011-11-14 | Paper |
| A dynamic analysis of interactive rationality | 2011-10-19 | Paper |
| Logical dynamics of evidence | 2011-10-19 | Paper |
| DEL planning and some tractable cases | 2011-10-19 | Paper |
| Dynamic logics of knowledge and access | 2011-02-25 | Paper |
| Preface to the special issue: Temporal logics of agency | 2011-01-07 | Paper |
| A note on assumption-completeness in modal logic | 2010-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574469 | 2010-07-09 | Paper |
| Merging frameworks for interaction | 2009-11-16 | Paper |
| Editorial: Logic and intelligent interaction | 2009-11-04 | Paper |
| Neighbourhood Structures: Bisimilarity and Basic Model Theory | 2009-06-30 | Paper |
| A General Approach to Aggregation Problems | 2009-06-12 | Paper |
| An abstract approach to reasoning about games with mistaken and changing beliefs | 2009-05-27 | Paper |
| Bisimulation for Neighbourhood Structures | 2009-03-10 | Paper |
| Modal Logics of Negotiation and Preference | 2008-10-30 | Paper |
| The tree of knowledge in action: towards a common perspective | 2008-07-01 | Paper |
| Some comments on history based structures | 2008-03-11 | Paper |
| Understanding the Brandenburger-Keisler paradox | 2007-12-17 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| The logic of knowledge based obligation | 2006-08-18 | Paper |
