I am currently involved in two research projects:

Exploring non-classical dynamic logics

I study non-classical versions of standard dynamic logics such as the propositional dynamic logic PDL or the public announcement logic PAL. I will also investigate dynamic extensions of some non-classical epistemic logics. The project is funded by the Institute of Computer Science, Czech Academy of Sciences.

• I. Sedlár: Propositional dynamic logic with Belnapian truth values. In: L. Beklemishev, S. Demri and A. Máté (Eds.): Advances in Modal logic, vol. 11, pp. 503-519. London: College Publications, 2016. Preprint
• I. Sedlár: Non-classical PDL on the cheap. In: P. Arazim and T. Lávička (Eds.): The Logica Yearbook 2016 pp. 239–256. London: College Publications, 2017. Preprint

From shared evidence to group attitues (SEGA)

The project studies information sharing and pooling in groups of agents with limited cognitive and inferential capacities (more info here). My focus in the project is mainly on extending substructural epistemic logics with operators for various group attitudes such as distributed and common knowledge. The project is co-funded by the German Science Foundation and the Czech Science Foundation.

• I. Sedlár: Substructural logics with a reflexive transitive closure modality. To appear in: Proceedings of WoLLIC 2017, Springer, 2017.
• I. Sedlár, V. Punčochář: Substructural logics for pooling information. To appear in: Proceedings of LORI-VI, Springer, 2017.