Return to search

Modalumo logikos S4 kai kurios išsprendžiamos klasės / Some decidable classes of modal logic s4

Šiame darbe mes apžvelgėme modalumo logiką S4 bei kvantorinę modalumo logiką S4. Taip pat jų taisykles, aksiomas ir naudojamus skaičiavimus. Pateikėme kelias sekvencijų išvedimo pavyzdžių. Taip pat, apžvelgėme kai kurių, atskirų šių logikų klasių išsprendžiamumą. Taipogi šiame darbe buvo nagrinėjama labai įdomi tema – išsprendžiamumo klasių formavimas, naudojantis formulių transformavimų į klasikinę predikatų logiką. / Logic is the branch of mathematics that deals with the formal principles, methods and criteria of validity of inference, reasoning and knowledge. Logic is concerned with what is true and how we can know whether something is true. This involves the formalization of logical arguments and proofs in terms of symbols representing propositions and logical connectives. The goal of this work is to learn more about modal logic S4 and to consider some it decidable classes of formulas. It’s important, because decidable classes helps the substantiation of different formulas. In this work we will consider the formulas of modal logic without functional symbols.

Identiferoai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2006~D_20140702_193638-23336
Date02 July 2014
CreatorsLaučiškaitė, Viktorija
ContributorsNorgėla, Stanislovas Leonas, Vilnius University
PublisherLithuanian Academic Libraries Network (LABT), Vilnius University
Source SetsLithuanian ETD submission system
LanguageLithuanian
Detected LanguageEnglish
TypeMaster thesis
Formatapplication/pdf
Sourcehttp://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336
RightsUnrestricted

Page generated in 0.0022 seconds