Jędrzej Kołodziejski

Bisimulation-Invariant Logics: Beyond Finite (and Infinite) (Logiki niezmiennicze na bisymulacje: dalej niż skończoność (i nieskończoność))

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

June 27, 2024

Supervisor

• prof. Bartosz Klin (University of Oxford)

Reviewers

• prof. dr hab. Witold Charatonik (Uniwersytet Wrocławski)
• dr Denis Kuperberg (CNRS, ENS w Lyonie)
• dr Karoliina Lehtinen (CNRS, Uniwersytet w Marsylii)

Documents

• Thesis

Reviews

• Review
• Review
• Review