Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

modální, a, temporální, logika

Klíčová slova abecedně | Klíčová slova dle četnosti

Srovnání vybraných polovětných konstrukcí ve finštině a litevštině
 (Lucia Šalagová)

2023, Diplomová práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/sn055/ | Baltistika / | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Modální realismus a identita
 (Iveta DUDOVÁ)

2017, Bakalářská práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

• http://theses.cz/id//o3nhvh// | Humanitní studia / Filozofie - Divadelní věda | Práce na příbuzné téma

Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
 (Jakub Macek)

2017, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/127349 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma

Epistemická logika a logická vševědoucnost v rámci modální intenzionální logiky
 (Ivo Pezlar)

2010, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/d49ou/ | Filozofie / | Práce na příbuzné téma

Automating Software Development with Explicit Model Checking
 (Petr Bauch)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/o3wbz/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma

Decidability and complexity of finite-state stochastic games
 (Vojtěch Forejt)

2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/ottrb/ | Informatika / | Práce na příbuzné téma

Decidability and complexity of infinite-state stochastic games
 (Václav Brožek)

2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/jsiqw/ | Informatika / | Práce na příbuzné téma