Název:
Vzájemná srovnání axiomatických systémů modálních logik
Překlad názvu:
Mutual comparison of modal logics axiomatic system
Autoři:
Pelikán, David ; Bílková, Marta (oponent) ; Jirků, Petr (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2008
Jazyk:
cze
Abstrakt: 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.