Coalition and Epistemic Logic: Intensional Approach to Groups

Spoluřešitel: O. Majer
Lead Agency International Project, Czech Science Foundation and German Research Foundation
2023-2025
(Společný projekt s Ústavem informatiky AV ČR a Universität Bayreuth)

Význam jako objekt

Řešitel: J. Peregrin
GA ČR 23-07119S
2023-2025

Logická struktura informačních kanálů

Řešitel: V. Punčochář
GA ČR 21-23610M
2021-2025

Filosofie matematiky pro teorii typů

Řešitel: A. Klev
AV ČR (Lumina quaeruntur)
2021-2025