Coalition and epistemic logic: An intensional approach to groups,

Lead Agency International Project, Czech Science Foundation and German Research Foundation, 2023-2025. Spoluřešitel: O. Majer (Společný projekt s Ústavewm iformatiky AV ČRa Universitou 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