Sylabus
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.