About me
Hi! I'm a logician based in Prague. I work mainly on non-classical modal logics, especially non-classical dynamic and epistemic logics. I am affiliated with the Institute of Computer Science of the Czech Academy of Sciences (Postdoctoral researcher at the Department of Theoretical Computer Science, currently working on the NOCLID project) and the Institute of Philosophy of the Czech Academy of Sciences (Researcher in the SEGA Project at the Department of Logic). As of 2018, I co-organise the LOGICA conference.
Contact
Institute of Computer Science
Pod Vodárenskou věží 271/2
182 07 Prague 8, Czech Republic
sedlar(at)cs(dot)cas(dot)cz
