| 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 |
| Possibility semantics | 2023-03-29 | Paper |
| scientific article; zbMATH DE number 7668086 (Why is no real title available?) | 2023-03-24 | Paper |
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
(available as arXiv preprint) | 2023-03-24 | Paper |
| scientific article; zbMATH DE number 7585721 (Why is no real title available?) | 2022-09-15 | Paper |
| scientific article; zbMATH DE number 7585712 (Why is no real title available?) | 2022-09-15 | Paper |
Voting theory in the Lean theorem prover
(available as arXiv preprint) | 2022-06-24 | 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 |
| scientific article; zbMATH DE number 7450025 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450025 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| Indicative conditionals and dynamic epistemic logic | 2021-12-14 | Paper |
Indicative conditionals and dynamic epistemic logic
(available as arXiv preprint) | 2021-12-14 | Paper |
Logics of imprecise comparative probability
International Journal of Approximate Reasoning | 2021-10-27 | Paper |
Three roads to complete lattices: orders, compatibility, polarity
Algebra Universalis | 2021-04-16 | Paper |
| Preferential Structures for Comparative Probabilistic Reasoning | 2021-04-06 | Paper |
The logic of comparative cardinality
Journal of Symbolic Logic | 2021-03-19 | Paper |
A note on Murakami's theorems and incomplete social choice without the Pareto principle
Social Choice and Welfare | 2020-12-29 | Paper |
| Knowledge, time, and paradox: introducing sequential epistemic logic | 2020-07-24 | Paper |
Arrow's decisive coalitions
Social Choice and Welfare | 2020-05-12 | Paper |
Choice-free Stone duality
Journal of Symbolic Logic | 2020-04-17 | Paper |
Choice-free Stone duality
Journal of Symbolic Logic | 2020-04-17 | Paper |
| Algebraic and topological semantics for inquisitive logic via choice-free duality | 2020-03-04 | Paper |
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
The Review of Symbolic Logic | 2019-10-30 | Paper |
A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
Notre Dame Journal of Formal Logic | 2019-08-20 | Paper |
| One modal logic to rule them all? | 2019-07-24 | Paper |
A semantic hierarchy for intuitionistic logic
Indagationes Mathematicae. New Series | 2019-05-02 | Paper |
Inferring probability comparisons
Mathematical Social Sciences | 2018-07-03 | Paper |
| Partiality and adjointness in modal logic | 2018-04-23 | Paper |
| Locales, nuclei, and Dragalin frames | 2018-04-23 | Paper |
A bimodal perspective on possibility semantics
Journal Of Logic And Computation | 2018-02-13 | Paper |
On the modal logic of subset and superset: tense logic over Medvedev frames
Studia Logica | 2017-04-07 | Paper |
A note on cancellation axioms for comparative probability
Theory and Decision | 2016-03-10 | Paper |
Roles, rigidity, and quantification in epistemic logic
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism
Journal of Philosophical Logic | 2015-03-24 | Paper |
| Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism. A summary | 2015-01-22 | Paper |
| Response to Égré and Xu | 2015-01-22 | Paper |
Information dynamics and uniform substitution
Synthese | 2015-01-08 | Paper |
| scientific article; zbMATH DE number 6302912 (Why is no real title available?) | 2014-06-11 | Paper |
Epistemic logic, relevant alternatives, and the dynamics of context
Lecture Notes in Computer Science | 2012-11-06 | Paper |
| Moorean phenomena in epistemic logic | 2012-08-05 | Paper |
Schematic Validity in Dynamic Epistemic Logic: Decidability
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Dynamic testimonial logic
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
