Igor Sedlár

About me

Hi! I'm a logician working at the Czech Academy of Sciences in Prague, Czech Republic. I am affiliated with the Institute of Computer Science CAS, where I am a tenure-track researcher at the Department of Theoretical Computer Science within the LogICS group. I am also affiliated with the Institute of Philosophy of the CAS, where I hold a part-time position at the Department of Logic.

Here's my CV.

My work

I work mainly on modal and non-classical logic. I'm currently interested in non-classical modal logics, especially dynamic logics based on non-classical propositional logics.

Recently I completed, as a principal investigator, the NOCLID project, studying applications of non-classical logics in modelling inforation dynamics (the project was funded by the Czech Science Foundation).

I organise the Seminar on Applied Mathematical Logic at the ICS and I co-organise the LOGICA conference series. Links to other events organized in Prague and the Czech Republic (many by the ICS logic group) can be found here.

Publications

The full list of my publications is here.

Teaching

Recently taught courses:

  • Dynamic Logic. Charles University in Prague (Fall 2021).
  • Non-classical models of reasoning. Czech Technical University (Spring 2020). Co-taught with M. Bílková, P. Cintula and A. Tedder.
  • Mathematical Logic, Czech Technical University (Fall 2018)
  • Logic in Computer Science, Czech Technical University (Spring 2018, Spring 2020). Co-taught with C. Noguera.

Contact

Dr. Igor Sedlár
Institute of Computer Science
The Czech Academy of Sciences
Pod Vodárenskou věží 271/2
182 07 Prague 8, The Czech Republic

sedlar(at)cs(dot)cas(dot)cz