Home



Hi!

I'm a logican 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, Dept. of Theoretical Computer Science) and the Institute of Philosophy of the Czech Academy of Sciences (SEGA Project researcher, Dept. of Logic).

You'll find out more in my CV (slightly dated) or my profiles at researchgate, academia or google scholar. Feel free to contact me at surname(at)cs(dot)cas(dot)cz.   


This webpage is no longer maintained. My homepage has been moved to http://www.cs.cas.cz/sedlar/