I am currently involved in two research projects:

Non-classical logical models of information dynamics (NOCLID)

Project description: The project explores dynamic logics based non-classical logic and their applications in modelling 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. The project is funded by the Czech Science Foundation.

Project team: Igor Sedlár (PI), Vít Punčochář, Andrew Tedder.

Recent results:

• I. Sedlár, V. Punčochář: From positive PDL to its non-classical extensions. Logic Journal of the IGPL, 27(4), 522-542, 2019. [Axiomatization and decidability of the positive fragment of PDL; axiomatization and decidability of positive PDL extended with connectives of the Nonassociative Lambek Calculus; axiomatization and decidability of positive PDL extended with De Morgan negation.]

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. In: J. Kennedy and R. de Queiroz (Eds.): Logic, Language, Information, and Computation (Proceedings of WoLLIC 2017), pp. 349-357. Berlin, Heidelberg: Springer, 2017.
  [Link]
• I. Sedlár, V. Punčochář: Substructural logics for pooling information. In: A. Baltag, J. Seligman and T. Yamada (Eds.): Logic, Rationality and Interaction (Proceedings of LORI-VI), pp. 407-241. Berlin, Heidelberg: Springer, 2017.
  [Link]

In the recent past I was involved in these research projects:

Exploring non-classical dynamic logics

I studied paraconsistent versions of Propositional Dynamic Logic. The project was 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.
  [Link]
• 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]