PhD program

four-year PhD, taught in English

Admission Requirements
Master’s degree in logic-related fields (mathematics, philosophy, computer science), chosen thesis advisor, readiness to do research

radek.honzik at

Application deadline
April 30, 2023

Entrance Exam dates
June 14-16 (regular), June 22 (exceptional)

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

Name Affiliation Research Areas E-mail
Mgr. Marta Bílková, Ph.D. Katedra Logiky, FF UK nonclassical logics, proof theory marta.bilkova at
doc. Ing. Petr Cintula Ph.D. Institute of Computer Science The Czech Academy of Sciences abstract algebraic logic, non-classical logics cintula at
doc. RNDr. Marie Duží, CSc. VŠB-TU, Ostrava transparent intensional logic marie.duzi at
Mgr. Petr Dvořák, Ph.D. Filosofický ústav, AV ČR medieval philosophy and early modern scholasticism peterdvorak99 at
doc. Radek Honzík, Ph.D. Katedra Logiky, FF UK set theory radek.honzik at
prof. PhDr. Petr Koťátko, CSc. Filosofický ústav, AV ČR analytical philosophy kotatko at
prof. RNDr. Jan Krajíček, DrSc. Katedra Algebry, MFF UK proof complexity, bounded arithmetics  krajicek at
prof. PhDr. Pavel Materna, CSc. Katedra filosofie, FF MU logical analysis of natural languages
doc. RNDr. Vladimír Petkevič, CSc. Ústav Teoretické a Komputační lingvistiky, FF UK mathematical linguistics vladimir.petkevic at
prof. RNDr. Pavel Pudlák, DrSc. Matematický ústav, AV ČR computational and proof complexity pudlak at
PhDr. Vladimír Svoboda, CSc. Filosofický ústav, AV ČR philosophy of logic, deontic logic svoboda at
doc. RNDr. Vítězslav Švejdar, CSc.
Katedra Logiky, FF UK nonclassical logic, metamathematics of arithmetics vitezslav.svejdar at


Úvod > Applicants > PhD program