Teaching
Members of the group regularly teach the following courses:- Mathematical logic at the Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University (winter semester 2018-19, Igor Sedlár and Petr Cintula)
- Fuzzy Logic at the Faculty of Informatics, Vienna University of Technology (winter semester 2019-2020, Petr Cintula)
- Modal Logics at the Faculty of Arts, Charles University in Prague (summer semester 2018-2019, Marta Bílková)
Supervising
Members of the group are currently supervising the following PhD students:
- Oguz Korkmaz (supervised Marta Bílková at Charles University in Prague)
- G. Menéndez Turata (co-supervised by Tommaso Moraschini and R. Jansana at Universty of Barcelona)
- J.J. Wannenburg (co-supervised by Tommaso Moraschini and J.G. Raftery at University of Pretoria)
Past PhD students:
- Adam Přenosil (supervised by Marta Bílková, thesis Reasoning with inconsistent information defended 2018)
- Karel Chvalovský (supervised by Marta Bílková, thesis Undecidability of some substructural logics defended 2015)
- Petr Cintula
- Relation between algebraizability, order-algebraizability, and presence of lattice conjunction or disjunction
- Abstract algebraic theory of propositional quantifiers
- Expanding the notion of semilinarity, the formal rendering of completeness w.r.t. linearly ordered semantics
- Abstract theory of admissible rules and structural completeness
- Graded consequence relations within the framework of Fuzzy Class Theory
- Systematic study of fragments of prominent substructural logics
- Equality in non-classical first-order logics
- Systematic study of neigbourhood semantics in non-classical setting
- Vague quantifiers
- Marta Bílková
- Non-classical coalgebraic logics
- Group and information dynamics in substructural epistemic logics
- Tommaso Moraschini
- Abstract algebraic logic and universal algebra
- Superintuitionistic logics and relevance logics
Related information
Department of Logic at Charles University is opening the Logic Masters' study program for academic year 2019/20, the deadline for applications is April 15, 2019. The program is administred in two language versions: Czech and English. The program has been significantly updated starting with the academic year 2019/20, with greater choice for the student regarding the focus of the study: from set theory, classical and non-classical logics to philosophy of mathematics and exact sciences. The standard duration of the program is 2 years.
More information can be found here.