Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Vzájemná srovnání axiomatických systémů modálních logik
Pelikán, David ; Jirků, Petr (vedoucí práce) ; Bílková, Marta (oponent)
Tato diplomová práce se zabývá modálními logikami z formálního pohledu. Jsou v ní de novány základní formální systémy a jsou předvedeny hlavní vztahy mezi nimi.
Vzájemná srovnání axiomatických systémů modálních logik
Pelikán, David ; Bílková, Marta (oponent) ; Jirků, Petr (vedoucí práce)
Tato diplomová práce se zabývá modálními logikami z formálního pohledu. Jsou v ní de novány základní formální systémy a jsou předvedeny hlavní vztahy mezi nimi.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.