WRITTEN WORKS

  • Journal articles
    • “Logics of Truthmaker Semantics: Comparison, Compactness and Decidability”, Synthese, 202, 206, 2023 [archive] [open access]
    • “Modal Information Logics: Axiomatizations and Decidability”, Journal of Philosophical Logic, 52, 1723-1766, 2023 [open access]
  • Conference papers
    • “The Modal Logic of Minimal Upper Bounds”, Language, Logic, and Computation. 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, forthcoming [archive]
    • “Relevant S is Undecidable”, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 51, 2024 [Kleene Award Winner] [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
    • Stay tuned :-)
  • 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 [open access] [slides]
    • “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]