Jedrzej Kolodziejski

According to our database¹, Jedrzej Kolodziejski authored at least 4 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Modal Separation of Fixpoint Formulae.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025

2024

Modal Separability of Fixpoint Formulae.

[BibT_eX]

[DOI]

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2022

Countdown μ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2020

Bisimulational Categoricity.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Advances in Modal Logic, 2020