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

Permalink: http://www.nusl.cz/ntk/nusl-287714


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses