Coalition and Epistemic Logic: Intensional Approach to Groups

coPI: O. Majer
Lead Agency International Project, Czech Science Foundation and German Research Foundation
2023-2025
(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