| 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 |
| https://portal.mardi4nfdi.de/entity/Q5883183 | 2023-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884930 | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884962 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3384078 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5224576 | 2019-07-24 | Paper |
| A semantic hierarchy for intuitionistic logic | 2019-05-02 | Paper |
| Inferring probability comparisons | 2018-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636300 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636034 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2939499 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939503 | 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 |
