Pozice: Vědecký pracovník
Oddělení: Oddělení teoretické informatiky
E-mail: sedlar@cs.cas.cz
Pracovna: 426
Publikace
- New Directions in Relevant Logic (2025)
- Advances in Modal Logic, Volume 15 (2024)
- Dynamic Logic. New Trends and Applications (2020)
- Finitely-valued propositional dynamic logic (2020)
- Iterative division in the Distributive Full Non-associative Lambek Calculus (2019)
- First Degree Entailment with Group Attitudes and Information Updates (2019)
- TACL 2017: Topology, Algebra and Categories in Logic (2017)
Projekty
- KATRA: Poznání, konání a čas – relevantní přístup (2025–2027)
- GRADLACT: Stupňované logiky konání (2022–2024)
- Podpora internacionalizace Ústavu informatiky AV ČR, v.v.i (2021–2023)
- Neklasické logické modely informační dynamiky (2018–2020)