Talks
2025
Intuitionistic K: Proofs and Countermodels
Synthetic mathematics, logic-affine computation and efficient proof systems @ CIRM, Luminy
Sep 08
Paraconsistent Constructive Modal Logic
Regular paper presentation @ WoLLIC 2025, Porto
Jul 14
Bi-nested Calculi for Constructive Modal Logics
Regular paper presentation @ WoLLIC 2025, Porto
Jul 14
2024
Proof-search and Countermodel Construction for Intuitionistic Modal Logics
Tsinghua Logic Colloquium on Theoretical Topics on Formal Systems @ Tsinghua-UvA Joint Research Centre, Beijing
Dec 19
Intuitionistic K: Proofs, Countermodels and Simulation
Short paper presentation @ NCL 2024, Łódź
Sep 05
Local Intuitionistic Modal Logics and Their Calculi
Regular paper presentation @ IJCAR 2024, Nancy
Jul 03
Forward-confluent Intuitionistic Modal Logic
PhDays'2024 @ LIS, Luminy
Jun 07
A Natural Intuitionistic Modal Logic
Regular paper presentation @ CSL 2024, Naples
Feb 21
2023
Variants of Intuitionistic Modal Logic
LIRICA Seminar @ LIS, Marseille
Dec 10
2021
Exclusively Instantial Neighborhood Logic
Tsing'cha session @ Tsinghua-UvA Joint Research Centre, Beijing
Dec 30
Exclusively Instantial Neighborhood Logic
Beijing Logic Frontier Forum (online), hosted by Beijing Normal University, Beijing, joint talk with Junhua Yu
Nov 20