Login / Signup
Jan Rooduijn
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Natural Deduction
Modal Logic
Theorem Proving
Sequent Calculi
Top Venues
CoRR
WoLLIC
GandALF
TABLEAUX
</>
Publications
</>
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)