Academic
About Me
I’m a PhD-candidate in mathematical logic at the University of Bern (Switzerland) under the supervision of Prof. Dr George Metcalfe.
Research Interests
My research interests are modal and related non-classical logics, including but not limited to
- classical modal logic,
- intuititionistic modal logic,
- dynamic topological logic, and
- Abelian modal logic.
I am mostly interested in semantic (i.e. non-proof-theoretic) approaches, including algebraic, topological and relational semantics and duality theory.
Upcoming Talks
- August 25-28th, “Interpolation above S4: Completing Maksimova’s Classification”, Workshop on Metalogic: Interpolation and Beyond, Prague (invited).
Recent Talks
- July 24th, “Interpolation above S4: Completing Maksimova’s Classification”, Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination.
- July 23rd, 2026, “Axiomatizability of Alexandrov Dynamic Topological Logic”, Logic in Computer Science.
- July 2nd, 2026, “Interpolation above S4: Completing Maksimova’s Classification”, Advances in Modal Logic.
- July 1st, 2026, “Logics Containing wK4: Selection à la Fine”, Advances in Modal Logic.
Publications
- Interpolation above S4 (Extended Abstract) (2026) with S. Santschi, CI-BD-SOQE@FLoC 2026, CEUR-WS 4228, CEUR, 59-65 (link).
- Axiomatizability of Alexandrov Dynamic Topological Logic (2026) with D. Fernández-Duque, LICS 2026, LIPIcs 380, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 81:1-81:26, doi:10.4230/LIPIcs.LICS.2026.81 (link).
- Logics Containing wK4: Selection à la Fine (2026) with S. Santschi, Proc. AiML 2026, EPTCS 447, Open Publishing Association, 674-690, doi:10.4204/EPTCS.447.38, arXiv:2606.31920.