About NOCLID

NOCLID is a research project funded by the Czech Science Foundation within the Junior Project scheme between January 2018 and December 2020. The project is based at the Institute of Computer Science of the Czech Academy of Sciences in Prague, Czech Republic.

Team

• Igor Sedlár (principal investigator)
• Vít Punčochář

We have an open 2-year post-doc position! A call for applications will be published and circulated soon.

Research objectives

The project explores dynamic logics based non-classical logic and their applications in modelling phenomena pertaining to information dynamics. Our goals include axiomatization and (un)decidability results concerning (i) Propositional Dynamic Logic based on substructural logics including fuzzy logics, (ii) logics for hard and soft information update (Public Announcement Logic, Logics for plausibility dynamics) based on substructural logics and (iii) dynamic substructural logics of questions.