Zpět na vyhledávání

Mgr. Pavla Míznerová

Bachelor's thesis

Modální logika

Modal logic
Abstract:
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 …more
 

Keywords

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 27. 5. 2014
Identifier: https://is.muni.cz/th/c2btw/

Thesis defence

  • Date of defence: 25. 6. 2014
  • Supervisor: prof. RNDr. Jiří Rosický, DrSc.
  • Reader: Mgr. Radek Šlesinger, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Přírodovědecká fakulta
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Science

Bachelor programme / field:
Mathematics / Statistics and Data Analysis

Theses on a related topic

List of theses with an identical keyword.