We stand with Ukraine  

Jedrzej Kolodziejski

Orcid: 0000-0001-5008-9224

According to our database1, Jedrzej Kolodziejski authored at least 7 papers between 2020 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Computation and Size of Interpolants for Hybrid Modal Logics.
[BibTeX]
[DOI]
Jean Christoph Jung
,
Jedrzej Kolodziejski
,
Frank Wolter
CoRR, February, 2026

2025
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic.
[BibTeX]
[DOI]
Jean Christoph Jung
,
Jedrzej Kolodziejski
CoRR, September, 2025

Modal Separation of Fixpoint Formulae.
[BibTeX]
[DOI]
Jean Christoph Jung
,
Jedrzej Kolodziejski
Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025

Computation of Interpolants for Description Logic Concepts in Hard Cases.
[BibTeX]
[DOI]
Jean Christoph Jung
,
Jedrzej Kolodziejski
,
Frank Wolter
Proceedings of the 38th International Workshop on Description Logics, 2025

2024
Modal Separability of Fixpoint Formulae.
[BibTeX]
[DOI]
Jean Christoph Jung
,
Jedrzej Kolodziejski
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2022
Countdown μ-Calculus.
[BibTeX]
[DOI]
Jedrzej Kolodziejski
,
Bartek Klin
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2020
Bisimulational Categoricity.
[BibTeX]
[DOI]
Jedrzej Kolodziejski
Proceedings of the 13th Conference on Advances in Modal Logic, 2020


  Loading...