Talks
2026
From bi-nested sequents to shallow sequents: proof theory of the intuitionistic modal logic FIK
Lectures on Logic and its Mathematical Aspects (LLAMA) seminar (invited) @ ILLC, Amsterdam
May 20
Paraconsistent Constructive Modal Logic
Czech Gathering of Logicians @ Prague
Feb 04
2025
A Natural Intuitionistic Modal Logic: calculi, decidability and countermodels
Seminar on Applied Mathematical Logic @ ICS, Prague
Nov 26
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 (invited) @ 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
Presentation by coauthors
2026
A Nested Approach to Relevant Logic
Contributed talk @ Directions in Relevant Logic III (DiRL3), Bochum, presented by Fabio De Martin Polo
Jul 08
Taming Complexity in Intuitionistic Modal Logic: the case of FIK and its shallow calculus
Regular paper presentation @ AiML 2026, Amsterdam, presented by Nicola Olivetti
Jun 30
2024
A Proof Calculus for Ethical Reasoning
Regular paper presentation @ PRMIA 2024, Kyoto, presented by Matteo Tesi
Nov 15