WRITTEN WORKS
- Journal articles
- Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
Submitted [preprint] - Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
Submitted [preprint] - Convex Team Logics
joint work with Aleksi Anttila
Submitted [preprint] - Logics of Truthmaker Semantics: Comparison, Compactness and Decidability
Synthese, 2023 [preprint] [open access] - Modal Information Logics: Axiomatizations and Decidability
Journal of Philosophical Logic, 2023 [open access]
- Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
- Conference papers
- Axiomatization and Decidability of Tense Information Logic
joint work with Timo Niek Franssen
Proceedings of WoLLIC 2025 [doi] - The Modal Logic of Minimal Upper Bounds
Proceedings of TbiLLC 2023, forthcoming [preprint] - Relevant S is Undecidable
Proceedings of LICS 2024 (Kleene Award Winner) [open access]
- Axiomatization and Decidability of Tense Information Logic
- Lecture notes
- Topology Project Lecture Notes
jointly authored with Amity Aharoni and Rodrigo N. Almeida
Master of Logic, ILLC [notes]
- Topology Project Lecture Notes
TALKS
- Upcoming
- “Truthmakers and Information States: Inclusion, Containment, Duality”, Workshop on Truthmakers, Possibilities, and Information States, Prague, November 18-19, 2025
- 2025
- “Diamonds and Dominoes: Impossibility Results for Associative Modal Logics”, TbiLLC 2025, September 11 [slides] [abstract] [preprint]
- “Axiomatization and Decidability of Tense Information Logic”, TbiLLC 2025, with Timo Niek Franssen (presenter), September 11
- “Axiomatization and Decidability of Tense Information Logic”, WoLLIC 2025, with Timo Niek Franssen (presenter), July 14
- “Features of (Un)decidable Logics”, Student Logic Colloquium, UC Berkeley, February 28 [slides]
- “Features of (Un)decidable Logics”, GALAI Seminar, Chapman University, February 21 [slides]
- “An introduction to undecidable logics”, MPP Seminar, Chapman University, February 20
- 2024
- “Convex Team Logics”, Workshop on the Occasion of Marco Degano’s Doctoral Defense, with Aleksi Anttila, October 16 [slides]
- “Features of (Un)decidable Logics”, LLAMA Seminar, September 25 [slides]
- “Relevant S is Undecidable”, LICS 2024, Tallinn, Estonia, July 08 [slides] [open access]
- “Axiomatizing Step-by-Step”, Tsing Ch’a Session, Tsinghua University, April 11 [slides]
- “Features of (Un)decidable Logics”, Peking University Logic Seminar, April 09 [slides]
- “How to Split a Relation”, The 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, Tsinghua University, with Aleksi Anttila, Marco Degano, and Tomasz Klochowicz (presenter), March 30
- “Expressive Power. BSML and Propositional Independence Logic”, Dagstuhl Seminar, March 12 [slides]
- “The Decidable and the Undecidable. A Survey of Recent Results”, NihiL Workshop, February 01 [slides]
- 2023
- “Modal Information Logics”, Annual VvL Seminar, December 08 [slides]
- “Modal Information Logics: Axiomatizations and Decidability”, GALAI Seminar, Chapman University, October 18 [slides]
- “Logics of Truthmaker Semantics: Comparison, Compactness and Decidability”, The New York Philosophy of Language Workshop, October 09 [slides]
- “Modal Information Logic of Incomparable Fusions”, TbiLLC 2023, September 18 [slides] [abstract]
- “Axiomatizing Modal Logic over Semilattices”, LATD 2023, September 11 [slides] [abstract]
- “BSML and Expressive Completeness”, NihiL Seminar, joint talk with Aleksi Anttila, June 27 [slides]
- “Logics of Truthmaker Semantics: Comparison, Compactness and Decidability”, Dutch Logic PhD Day 2023, June 23 [slides]
- “Modal Information Logics: Axiomatizations and Decidability”, LIRa Seminar, February 23 [slides]
- 2022
- “Modal Information Logic: Decidability and Completeness”, MOSAIC 2022, September 07 [slides] [abstract]