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/11997Identifiers
Study Information System: 52835
Collections
- Kvalifikační práce [23776]
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
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.