Modální a neklasické logiky - ALG119008

• Anglický název: Modal and nonclassical logc
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2024
• Semestr: oba
• Body: 0
• E-Kredity: 6
• Rozsah, examinace: 2/1, Zk [HT]
• Počet míst: zimní:neomezen / neomezen (neurčen); letní:neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; předmět lze zapsat v ZS i LS
• Garant: doc. RNDr. Vítězslav Švejdar, CSc.
• Vyučující: doc. RNDr. Vítězslav Švejdar, CSc.

Sylabus

čeština

Nutnost a možnost, modální formule. Kripkovská sémantika. Charakteristická třída logiky. Tradiční výrokové modální logiky K, K4, T, S4, S5 a GL, a jejich charakteristické třídy. P-morfismy, bisimulace a necharakterizovatelné třídy rámců. Úplnost, rozhodnutelnost a vlastnost FMP. Intuicionistická výroková logika.

Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (24.09.2020)

angličtina

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.

Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (24.09.2020)