PhD Study

The department offers a four-year postgraduate program in Logic. Possible dissertation topics focus on (but are not limited to) the departmental research areas.


General information about admissions to postgraduate programs at the Faculty of arts can be found here (Czech) and here (English).

The entrance exams are oral and focus on determining whether the applicant has sufficient formal knowledge in the discipline and whether he is ready to work on the chosen topic. Applicants are required to hold a Master level degree in Logic, Mathematics, Philosophy or a related field. The applicants are also required to already have a chosen advisor who is willing to supervise their studies, and written a project of their thesis.

For these reasons it is advisable to contact the advisor & the department in advance to work out the necessary technical details of your application. The table below lists the supervisory board of the program. In addition to the permanent members of the department these people are possible candidates for supervising PhD. theses.

Program Board

NameAffiliationResearch AreasE-mail
Mgr. Marta Bílková, Ph.D.Katedra Logiky, FF UKnonclassical logics, proof theorymarta.bilkova at

doc. Ing. Petr Cintula Ph.D.Institute of Computer Science The Czech Academy of Sciencesabstract algebraic logic, non-classical logicscintula at

doc. RNDr. Marie Duží, CSc.VŠB-TU, Ostravatransparent intensional logicmarie.duzi at
Mgr. Petr Dvořák, Ph.D.Filosofický ústav, AV ČRmedieval philosophy and early modern scholasticismpeterdvorak99 at
doc. Radek Honzík, Ph.D.Katedra Logiky, FF UKset theoryradek.honzik at
prof. PhDr. Petr Koťátko, CSc.Filosofický ústav, AV ČRanalytical philosophykotatko at
prof. RNDr. Jan Krajíček, DrSc.Katedra Algebry, MFF UKproof complexity, bounded arithmetics krajicek at
prof. PhDr. Pavel Materna, CSc.Katedra filosofie, FF MUlogical analysis of natural languages
doc. RNDr. Vladimír Petkevič, CSc.Ústav Teoretické a Komputační lingvistiky, FF UKmathematical linguisticsvladimir.petkevic at
prof. RNDr. Pavel Pudlák, DrSc.Matematický ústav, AV ČRcomputational and proof complexitypudlak at
PhDr. Vladimír Svoboda, CSc.Filosofický ústav, AV ČRphilosophy of logic, deontic logicsvoboda at
doc. RNDr. Vítězslav Švejdar, CSc.
Katedra Logiky, FF UKnonclassical logic, metamathematics of arithmeticsvitezslav.svejdar at