Jan Rooduijn

According to our database1, Jan Rooduijn authored at least 6 papers between 2021 and 2024.

Collaborative distances:

Timeline

2021
2022
2023
2024
0
1
2
3
1
1
1
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A cyclic proof system for Guarded Kleene Algebra with Tests (full version).
CoRR, 2024

A Cyclic Proof System for Guarded Kleene Algebra with Tests.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus.
Proceedings of the Logic, Language, Information, and Computation, 2023

2022
An analytic proof system for common knowledge logic over S5.
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021
Filtration and canonical completeness for continuous modal mu-calculi.
Proceedings of the Proceedings 12th International Symposium on Games, 2021

Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021


  Loading...