Rozhodnutelnost v temporálních logikách – Bc. Lukáš Holík, Ph.D.
Bc. Lukáš Holík, Ph.D.
Master's thesis
Rozhodnutelnost v temporálních logikách
Decidability in temporal logics
Abstract:
Práce obsahuje přehled o rozhodnutelnosti, model checkingu a vyjadřovací síle výběru modálních a tempoprálních logik používaných v kontextu usuzování o výpočetních systémech.Abstract:
Thesis contains view of decidability, model checking and expressive power of selection of modal and temporal logics used for reasonig about computational systems.
Language used: Czech
Date on which the thesis was submitted / produced: 14. 2. 2006
Identifier:
https://is.muni.cz/th/dg07t/
Thesis defence
- Date of defence: 14. 2. 2006
- Supervisor: prof. RNDr. Luboš Brim, CSc.
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, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Informatics
Theses on a related topic
-
Srovnání vybraných polovětných konstrukcí ve finštině a litevštině
Lucia Šalagová -
Modální realismus a identita
Iveta DUDOVÁ -
Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
Jakub Macek -
Epistemická logika a logická vševědoucnost v rámci modální intenzionální logiky
Ivo Pezlar -
Automating Software Development with Explicit Model Checking
Petr Bauch -
Decidability and complexity of finite-state stochastic games
Vojtěch Forejt -
Decidability and complexity of infinite-state stochastic games
Václav Brožek