Selected Talks
A Sound and Complete Axiomatization for Intuitionistic Temporal Logic
International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, 2024
Intuitionistic Master Modality
Advances in Modal Logic, Prague, 2024
An Ill-Founded Proof System for Intuitionistic Linear-Time Temporal Logic
Swiss Logic Gathering, Schwarzsee, 2023
An Analytic Proof System for Common Knowledge Logic over S5
Advances in Modal Logic, Rennes, 2022