Vzájemná srovnání axiomatických systémů modálních logik
Mutual comparison of modal logics axiomatic system
diplomová práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/11997Identifikátory
SIS: 52835
Kolekce
- Kvalifikační práce [23776]
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
17. 1. 2008
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Dobře
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.