Modální logika

Mgr. Pavla Míznerová

Bachelor's thesis

Modal logic

Anotácia:

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.

Kľúčové slová

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: Czech

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
• Vedúci: prof. RNDr. Jiří Rosický, DrSc.
• Oponent: Mgr. Radek Šlesinger, Ph.D.

Masaryk University

Faculty of Science

Bachelor programme / odbor:
Mathematics / Statistics and Data Analysis