Jan Rooduijn

According to our database, Jan Rooduijn authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus.

Jan Rooduijn, Yde Venema

Proceedings of the Logic, Language, Information, and Computation, 2023

2022

An analytic proof system for common knowledge logic over S5.

Jan Rooduijn, Lukas Zenger

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Filtration and canonical completeness for continuous modal mu-calculi.

Jan Rooduijn, Yde Venema

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality.

Jan Rooduijn

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021