Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality. - Jan Rooduijn (TABLEAUX, 2021)

Filtration and canonical completeness for continuous modal mu-calculi. - Jan Rooduijn; Yde Venema (GandALF, 2021)

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

Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. - Jan Rooduijn; Yde Venema (WoLLIC, 2023)

A Cyclic Proof System for Guarded Kleene Algebra with Tests. - Jan Rooduijn; Dexter Kozen; Alexandra Silva 001 (IJCAR (2), 2024)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version). - Jan Rooduijn; Dexter Kozen; Alexandra Silva 001 (CoRR, 2024)