WRITTEN WORKS

  • Journal articles
    • Teams, Truthmakers, Translations
      with Maria Aloni, Alexandru Baltag, Johan van Benthem, Nick Bezhanishvili
      Submitted
    • Undecidability in Relevant Logic
      Journal of Symbolic Logic, forthcoming [preprint]
    • Knocking Down Boxes: The FMP for $\text{K} \oplus \Box^{m+k} p \to \Box^m p$
      Journal of Symbolic Logic, 2026 [preprint] [open access]
    • Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
      Journal of Symbolic Logic, forthcoming [preprint]
    • Convex Team Logics
      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
  • Lecture notes
    • Topology Project Lecture Notes
      jointly authored with Amity Aharoni and Rodrigo Nicolau Almeida
      Master of Logic, ILLC [notes]


TALKS

  • Upcoming
    • Stay tuned :)
  • 2026
    • “On the Undecidability of Medvedev’s Logic”, LLAMA Seminar, with Rodrigo Nicolau Almeida, September 16 [slides]
    • “Undecidability in Relevant Logic”, Scandinavian Logic Symposium 2026, August 21 [slides]
    • “Bunched Implication Logic is Undecidable”, TACL 2026, with Nick Galatos (presenter), Peter Jipsen, and Revantha Ramanayake, July 27
    • “The Logic of Bunched Implications is Undecidable”, LICS 2026, with Nick Galatos, Peter Jipsen, and Revantha Ramanayake, July 20 [slides]
    • “Teams and Truthmakers: Free Choice Permissions and More”, Directions in Relevant Logic 2026, with Robert van Rooij, July 7 [slides]
    • “Possibly Relevant Translations”, AiML 2026, June 29 [slides]
    • “The Good News Translation”, AiML 2026, with Timo Niek Franssen (presenter), June 29
    • “Truthmakers and Information States: Inclusion, Containment, Duality”, LIRa Seminar, February 19 [slides]
  • 2025
    • “Truthmakers and Information States: Inclusion, Containment, Duality”, Workshop on Truthmakers, Possibilities, and Information States, Prague, November 18 [slides]
    • “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, 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]