Jan Rooduijn

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Sequent Calculi

Theorem Proving

Probabilistic Databases

Top Venues

Publications

Jan Rooduijn, Dexter Kozen, Alexandra Silva
A cyclic proof system for Guarded Kleene Algebra with Tests (full version). CoRR (2024)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
A Cyclic Proof System for Guarded Kleene Algebra with Tests. IJCAR (2) (2024)
Jan Rooduijn, Yde Venema
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. WoLLIC (2023)
Jan Rooduijn, Yde Venema
Focus-style proofs for the two-way alternation-free μ-calculus. CoRR (2023)
Jan Rooduijn, Lukas Zenger
An analytic proof system for common knowledge logic over S5. AiML (2022)
Jan Rooduijn, Yde Venema
Filtration and canonical completeness for continuous modal mu-calculi. GandALF (2021)
Jan Rooduijn
Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality. TABLEAUX (2021)