| 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 |
| https://portal.mardi4nfdi.de/entity/Q5884930 | 2023-03-24 | Paper |
| Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104713 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104704 | 2022-09-15 | Paper |
| Voting theory in the Lean theorem prover | 2022-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018516 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018508 | 2021-12-20 | Paper |
| Indicative conditionals and dynamic epistemic logic | 2021-12-14 | Paper |
| Logics of imprecise comparative probability | 2021-10-27 | Paper |
| Three roads to complete lattices: orders, compatibility, polarity | 2021-04-16 | Paper |
| Preferential Structures for Comparative Probabilistic Reasoning | 2021-04-06 | Paper |
| The logic of comparative cardinality | 2021-03-19 | Paper |
| A note on Murakami's theorems and incomplete social choice without the Pareto principle | 2020-12-29 | Paper |
| Knowledge, time, and paradox: introducing sequential epistemic logic | 2020-07-24 | Paper |
| Arrow's decisive coalitions | 2020-05-12 | Paper |
| Choice-free Stone duality | 2020-04-17 | Paper |
| Algebraic and topological semantics for inquisitive logic via choice-free duality | 2020-03-04 | Paper |
| COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS | 2019-10-30 | Paper |
| A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers | 2019-08-20 | Paper |
| One modal logic to rule them all? | 2019-07-24 | Paper |
| A semantic hierarchy for intuitionistic logic | 2019-05-02 | Paper |
| Inferring probability comparisons | 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 | 2018-02-13 | Paper |
| On the modal logic of subset and superset: tense logic over Medvedev frames | 2017-04-07 | Paper |
| A note on cancellation axioms for comparative probability | 2016-03-10 | Paper |
| Roles, rigidity, and quantification in epistemic logic | 2015-05-11 | Paper |
| Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism | 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 | 2015-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419888 | 2014-06-11 | Paper |
| Epistemic logic, relevant alternatives, and the dynamics of context | 2012-11-06 | Paper |
| Moorean phenomena in epistemic logic | 2012-08-05 | Paper |
| Schematic Validity in Dynamic Epistemic Logic: Decidability | 2011-10-19 | Paper |
| Dynamic testimonial logic | 2010-01-07 | Paper |
