Anotace
Kurs je věnován výrokovým modálním logikám. Kurs má charakter úvodu a jeho cílem je základní seznámení s teorií modelů modálních logik (důraz je kladen na Kripkovskou sémantiku, úplnost, kompaktnost, definovatelnost, bisimulace) a hilbertovskými kalkuly. Část kursu je věnována procvičení práce se základními logickými nástroji a pojmy na konkrétních příkladech modálních logik (epistemických, časových a dynamických).