An analytic proof system for common knowledge logic over S5. - Jan Rooduijn; Lukas Zenger (AiML, 2022)

A Family of Decidable Bi-intuitionistic Modal Logics. - David Fernández-Duque; Brett McLean; Lukas Zenger (KR, 2023)

Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. - Bahareh Afshari; Lide Grotenhuis; Graham E. Leigh; Lukas Zenger (TABLEAUX, 2023)

Intuitionistic Master Modality. - Bahareh Afshari; Lide Grotenhuis; Graham E. Leigh; Lukas Zenger (AiML, 2024)

Coalgebraic Proof Translations for Non-Wellfounded Proofs. - Borja Sierra-Miranda; Thomas Studer; Lukas Zenger (AiML, 2024)

A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. - David Fernández-Duque; Brett McLean; Lukas Zenger (KR, 2024)