Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics

Autor:	Andrikonis, Julius
Jazyk:	angličtina
Rok vydání:	2011
Předmět:	Mathematics Modal logic Termination Proof-search Modalumo logika Baigtinumas Išvedimo paieška
Druh dokumentu:	Doctoral Thesis
Popis:	In the dissertation epistemic logics with central agent interaction axiom are analysed. The research covers multimodal logics Kn, Tn, K4n and S4n. The aim of the work is finite derivation search sequent calculi for the mentioned logics. A new method to obtain the termination of derivation search is presented in the thesis and this method is applied to the mentioned logics as well as to monomodal logics K4 and S4. Disertacijoje nagrinėjamos žinių logikos su centrinio agento sąveikos aksioma. Tyrimas apima multimodalines logikas Kn, Tn, K4n ir S4n. Disertacijos tikslas – baigtinės išvedimo paieškos sekvenciniai skaičiavimai minėtoms logikoms. Darbe pristatomas naujas išvedimo paieškos baigtinumą užtikrinantis metodas, kuris yra pritaikomas minėtoms logikoms, o taip pat monomodalinėms logikoms K4 ir S4.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://vddb.laba.lt/fedora/get/LT-eLABa-0001:E.02~2011~D_20111227_091412-58067/DS.005.1.01.ETD Zobrazit plný text záznamu