Publications

Jędrzej Kołodziejski

2025

• Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separation of Fixpoint Formulae, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025, 327 (55) 2025, p. 1:20. See in PBN

2024

• Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separability of Fixpoint Formulae, 37th International Workshop on Description Logics, Bergen, Germany, 18 June 2024 - 21 June 2024, 3739 2024. See in PBN

2022

• Jędrzej Kołodziejski , Bartosz Klin , Countdown μ-Calculus, 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22 August 2022 - 26 August 2022, 241 (64) 2022, p. 1:14. See in PBN

2020

• Jędrzej Kołodziejski , Bisimulational categoricity, 13th Conference on Advances in Modal Logic, Helsinki, Finland, 24 August 2020 - 28 August 2020, 13 2020. See in PBN