Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
diploma thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/11997Collections
- Kvalifikační práce [19393]
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
17. 1. 2008
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Good
Keywords
Keywords not foundTato 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.