Return to search

Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti / Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics

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. / 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.

Identiferoai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2011~D_20111227_091359-46801
Date27 December 2011
CreatorsAndrikonis, Julius
ContributorsPliuškevičius, Regimantas, Alonderis, Romas, Sakalauskaitė, Jūratė, Pranevičius, Henrikas, Dzemyda, Gintautas, Augutis, Juozas, Čaplinskas, Albertas, Čiegis, Raimondas, Ivanauskas, Feliksas, Vilnius University
PublisherLithuanian Academic Libraries Network (LABT), Vilnius University
Source SetsLithuanian ETD submission system
LanguageLithuanian
Detected LanguageUnknown
TypeDoctoral thesis
Formatapplication/pdf
Sourcehttp://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091359-46801
RightsUnrestricted

Page generated in 0.002 seconds