Type
four-year PhD, taught in English
Note: The program is at the moment discontinued for new admissions. There are no entrance exams in 2024.
Contact
radek.honzik at ff.cuni.cz
Name | Affiliation | Research Areas | |
---|---|---|---|
Mgr. Marta Bílková, Ph.D. | Katedra Logiky, FF UK | nonclassical logics, proof theory | marta.bilkova at ff.cuni.cz |
doc. Ing. Petr Cintula Ph.D. | Institute of Computer Science The Czech Academy of Sciences | abstract algebraic logic, non-classical logics | cintula at cs.cas.cz |
doc. RNDr. Marie Duží, CSc. | VŠB-TU, Ostrava | transparent intensional logic | marie.duzi at vsb.cz |
Mgr. Petr Dvořák, Ph.D. | Filosofický ústav, AV ČR | medieval philosophy and early modern scholasticism | peterdvorak99 at gmail.com |
doc. Radek Honzík, Ph.D. | Katedra Logiky, FF UK | set theory | radek.honzik at ff.cuni.cz |
prof. PhDr. Petr Koťátko, CSc. | Filosofický ústav, AV ČR | analytical philosophy | kotatko at flu.cas.cz |
prof. RNDr. Jan Krajíček, DrSc. | Katedra Algebry, MFF UK | proof complexity, bounded arithmetics | krajicek at karlin.mff.cuni.cz |
prof. PhDr. Pavel Materna, CSc. | Katedra filosofie, FF MU | logical analysis of natural languages | materna@phil.muni.cz |
doc. RNDr. Vladimír Petkevič, CSc. | Ústav Teoretické a Komputační lingvistiky, FF UK | mathematical linguistics | vladimir.petkevic at ff.cuni.cz |
prof. RNDr. Pavel Pudlák, DrSc. | Matematický ústav, AV ČR | computational and proof complexity | pudlak at math.cas.cz |
PhDr. Vladimír Svoboda, CSc. | Filosofický ústav, AV ČR | philosophy of logic, deontic logic | svoboda at lorien.site.cas.cz |
doc. RNDr. Vítězslav Švejdar, CSc. (chair) |
Katedra Logiky, FF UK | nonclassical logic, metamathematics of arithmetics | vitezslav.svejdar at cuni.cz |