WRITTEN WORKS

  • Papers
    • “Logics of Truthmaker Semantics: Comparison, Compactness and Decidability”, Synthese, 202, 206, 2023 [view-only] [draft]
    • “Modal Information Logics: Axiomatizations and Decidability”, Journal of Philosophical Logic, 52, 1723-1766, 2023 [open access]
  • Lecture notes
    • Topology Project Lecture Notes, Master of Logic, ILLC, jointly authored with Amity Aharoni and Rodrigo N. Almeida [notes] [website]


TALKS

  • Upcoming
    • “Relevant S is Undecidable”, LICS 2024, Tallinn, Estonia, July 08-11
  • 2024
    • “Axiomatizing Step-by-Step”, Tsinghua University, Tsing Ch’a Session, April 11 [slides]
    • “Features of (Un)decidable Logics”, Peking University, Logic Seminar, April 09 [slides]
    • “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]