Original title:
Vzájemná srovnání axiomatických systémů modálních logik
Translated title:
Mutual comparison of modal logics axiomatic system
Authors:
Pelikán, David ; Bílková, Marta (referee) ; Jirků, Petr (advisor) Document type: Master’s theses
Year:
2008
Language:
cze Abstract:
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.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/11997