Anotace
Obsahem kursu jsou koalgebraické modální logiky, tedy modální logiky (modální jazyky) k popisu chování stavových systémů modelovaných jako koalgebry (prominentní příklady koalgeber jsou např. různé varianty automatů nebo kripkovských rámců). Kurs obsáhne některé základní pojmy teorie koalgeber, dvě základní možnosti definice modálního jazyka k jejich popisu (jazyk predikátových liftingů a jazyk s "cover" modalitami) a základní vlastnosti takto definovaných logik (úplnost, axiomatika, důkazové systémy, expresivita).
Specielním případem takové logiky je i klasická modální logika, na kterou tento přístup nabízí nový abstraktní pohled.