| 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
(available as arXiv preprint) | 2022-06-24 | Paper |
Choice-driven counterfactuals
Journal of Philosophical Logic | 2022-04-04 | Paper |
| scientific article; zbMATH DE number 7450033 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450033 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
Arrow's decisive coalitions
Social Choice and Welfare | 2020-05-12 | Paper |
Intention as commitment toward time
Artificial Intelligence | 2020-04-21 | Paper |
Dependence and Independence in Social Choice: Arrow’s Theorem
Dependence Logic | 2020-02-04 | Paper |
ACTION TYPES IN STIT SEMANTICS
The Review of Symbolic Logic | 2018-01-17 | Paper |
Neighborhood semantics for modal logic
Short Textbooks in Logic | 2017-08-24 | Paper |
Dynamic models of rational deliberation in games
Lecture Notes in Computer Science | 2016-08-30 | Paper |
On the use (and abuse) of logic in game theory
Journal of Philosophical Logic | 2016-04-13 | Paper |
Toward a theory of play: a logical perspective on games and interaction
Games | 2015-05-19 | Paper |
Temporal Aspects of the Dynamics of Knowledge
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Towards a logical analysis of \textit{Adjusted Winner}
Proof, Computation and Agency | 2015-04-17 | Paper |
| scientific article; zbMATH DE number 6389579 (Why is no real title available?) | 2015-01-22 | Paper |
| Evidence logic: a new look at neighborhood structures | 2014-06-11 | Paper |
| scientific article; zbMATH DE number 6297883 (Why is no real title available?) | 2014-05-22 | Paper |
Substantive assumptions in interaction: a logical perspective
Synthese | 2014-04-15 | Paper |
Evidence and plausibility in neighborhood structures
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
| Logics of informational attitudes and informative actions | 2013-10-04 | Paper |
Social interaction, knowledge, and social software
Interactive Computation | 2013-06-18 | Paper |
Logics of rational interaction
Dynamic Formal Epistemology | 2012-08-23 | Paper |
Dynamic logics of evidence-based beliefs
Studia Logica | 2011-11-23 | Paper |
Reasoning with protocols under imperfect information
The Review of Symbolic Logic | 2011-11-14 | Paper |
A dynamic analysis of interactive rationality
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Logical dynamics of evidence
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
DEL planning and some tractable cases
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Dynamic logics of knowledge and access
Synthese | 2011-02-25 | Paper |
Preface to the special issue: Temporal logics of agency
Journal of Logic, Language and Information | 2011-01-07 | Paper |
A note on assumption-completeness in modal logic
Lecture Notes in Computer Science | 2010-08-31 | Paper |
| scientific article; zbMATH DE number 5734944 (Why is no real title available?) | 2010-07-09 | Paper |
Merging frameworks for interaction
Journal of Philosophical Logic | 2009-11-16 | Paper |
Editorial: Logic and intelligent interaction
Synthese | 2009-11-04 | Paper |
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Logical Methods in Computer Science | 2009-06-30 | Paper |
A General Approach to Aggregation Problems
Journal Of Logic And Computation | 2009-06-12 | Paper |
| An abstract approach to reasoning about games with mistaken and changing beliefs | 2009-05-27 | Paper |
Bisimulation for Neighbourhood Structures
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Modal Logics of Negotiation and Preference
Logics in Artificial Intelligence | 2008-10-30 | Paper |
| The tree of knowledge in action: towards a common perspective | 2008-07-01 | Paper |
Some comments on history based structures
Journal of Applied Logic | 2008-03-11 | Paper |
Understanding the Brandenburger-Keisler paradox
Studia Logica | 2007-12-17 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
The logic of knowledge based obligation
Synthese | 2006-08-18 | Paper |
