Coalition and epistemic logic: An intensional approach to groups,

Lead Agency International Project, Czech Science Foundation and German Research Foundation, 2023-2025. coPI: O. Majer (Joint project with the Institute of Computer Scicence at CAS and the University of Bayreuth)

Meaning as an object

PI: J. Peregrin
GA ČR 23-07119S
2023-2025

Logical structure of information channels

PI: V. Punčochář
CSF 21-23610M
2021-2025

Meaningful Formalism. A Philosophy of Mathematics for type theory

PI: A. Klev
CAS (Lumina quaeruntur)
2021-2025