Modální logika

Mgr. Pavla Míznerová

Bakalářská práce

Modal logic

Anotace:

Tato bakalářská práce obsahuje základy modální logiky. Začíná krátkým připomenutím výrokové logiky. V dalších kapitolách je definován modální jazyk, popsány ohodnocené přechodové struktury a modální algebry a některé jejich vlastnosti. Dále se dozvídáme, jak struktura určuje pravdivostní hodnotu formule. Poté definujeme bisimulace a nakonec hledáme největší bisimulaci.

Abstract:

This thesis contains basics of modal logic. It begins with brief reminding of propositional logic. In the following chapters the modal language is defined, we describe labelled transition structures and modal algebras and some of their properties. Then we learn about whether a formula is satisfied by a structure and therefore whether the formula is true. In the end we define bisimulations and search for the largest bisimulation.

Klíčová slova

Modální logika, ohodnocené přechodové struktury, modální algebry, ohodnocení, pravdivost, p-morfismus, bisimulace, modal logic, labelled transition structures, modal algebras, valuation, satisfaction, p-morfism, bisimulation

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 27. 5. 2014

Obhajoba závěrečné práce

• Obhajoba proběhla 25. 6. 2014
• Vedoucí: prof. RNDr. Jiří Rosický, DrSc.
• Oponent: Mgr. Radek Šlesinger, Ph.D.

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Statistika a analýza dat