Modal and nonclassical logc - ALG119008
Title: Modální a neklasické logiky
Guaranteed by: Department of Logic (21-KLOG)
Faculty: Faculty of Arts
Actual: from 2024
Semester: both
Points: 0
E-Credits: 6
Examination process:
Hours per week, examination: 2/1, Ex [HT]
Capacity: winter:unknown / unknown (unknown)
summer:unknown / unknown (unknown)
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
Key competences:  
State of the course: not taught
Language: Czech
Teaching methods: full-time
Level:  
Note: course can be enrolled in outside the study plan
enabled for web enrollment
you can enroll for the course in winter and in summer semester
Guarantor: doc. RNDr. Vítězslav Švejdar, CSc.
Schedule   Noticeboard   
Syllabus -

Necessity and possibility, modal formulas. Kripke semantics (relational semantics). Characteristic class of a logic. Traditional propositional modal logics: K, K4, T, S4, S5, GL. Their characteristic classes. P-morphisms, bisimulations and non-characterizable classes of frames. Completeness, decidability, finite model property. Intuitionistic propositional logic.

Last update: Švejdar Vítězslav, doc. RNDr., CSc. (24.09.2020)