An introductory course to basic modal logics. Main goal of this course is to cover basic model theory (Kripke semantics, completeness, compactness, definability, bisimulation) and hilbert style calculi of normal modal logics. Part of the course consists in excersising the material in concrete examples of modal logics (epistemic, temporal or dynamic logic).
Last update: BILKM3AF (30.06.2011)
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).
