WRITTEN WORKS

  • Journal articles
    • 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]
  • Conference papers
    • Axiomatization and Decidability of Tense Information Logic
      joint work with Timo Niek Franssen
      Proceedings of WoLLIC 2025, forthcoming
    • The Modal Logic of Minimal Upper Bounds
      Proceedings of TbiLLC 2023, forthcoming [preprint]
    • Relevant S is Undecidable
      Proceedings of LICS 2024, 2024 (Kleene Award Winner) [open access]
  • Lecture notes
    • Topology Project Lecture Notes
      jointly authored with Amity Aharoni and Rodrigo N. Almeida
      Master of Logic, ILLC [notes]


TALKS

  • Upcoming
    • “Axiomatization and Decidability of Tense Information Logic”, WoLLIC 2025, with Timo Niek Franssen (who will present), July 14, 2025
    • “Diamonds and Dominoes: Impossibility Results for Associative Modal Logics”, TbiLLC 2025, September 08-12, 2025 [preprint]
    • “Axiomatization and Decidability of Tense Information Logic”, TbiLLC 2025, with Timo Niek Franssen (who will present), September 08-12, 2025
  • 2025
    • “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]