About me
Hi! I'm a logician based in Prague. I work mainly on dynamic and epistemic extensions of non-classical logics (substructural, many-valued etc.).
I am affiliated with the Institute of Computer Science of the Czech Academy of Sciences (Postdoctoral researcher at the Department of Theoretical Computer Science) and the Institute of Philosophy of the Czech Academy of Sciences (Researcher in the SEGA Project, affiliated at the Department of Logic).
Address
Institute of Computer Science
Pod Vodárenskou věží 271/2
182 07 Prague 8, Czech Republic
E-mail: sedlar(at)cs(dot)cas(dot)cz
Links: researchgate.net, academia.edu, google scholar
