logika

Algebraizing first-order logics

2026–2030

GA ČR

Substitution in Material Inference and Logical Environments

2026–2028

GA ČR

KATRA: Poznání, konání a čas – relevantní přístup

2025–2027

GA ČR

Moderní česká logika ve filozofii matematiky

2025–2027

GA ČR

Aleksi Honkasalo, Ph.D.

Amanda Vidal Wandelmer, Ph.D.

Andrew Moorhead, Ph.D.

Giuliano Rosella, Ph.D.

Grigory Olkhovikov, Ph.D.

Han Gao, MSc. Ph.D.

Jonathan Osinski, Dr. rer. nat.

Josef von Hoffmann, MSc.

Joseph McDonald, Ph.D.

Krzysztof Krawczyk, MSc.

Luca Carai, Ph.D.

Mgr. Adam Přenosil, Ph.D.

Mgr. Chun-Yu Lin

Mgr. Igor Sedlár, Ph.D.

Mgr. Marta Bílková, Ph.D.

MSc. Krishna Balajirao Manoorkar, Ph.D.

Pietro Vigiani, Ph.D.

RNDr. Filip Jankovec

RNDr. Ondrej Majer, CSc.

RNDr. Zuzana Haniková, Ph.D.