Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for subject:(Modalumo logika S4). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Vilnius University

1. Laučiškaitė, Viktorija. Modalumo logikos S4 kai kurios išsprendžiamos klasės.

Degree: Master, 2014, Vilnius University

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

Advisors/Committee Members: Norgėla, Stanislovas Leonas (Master's thesis supervisor).

Subjects/Keywords: Modalumo logika S4; Išsprendžiamos klasės; Modal logic S4; Decidable Classes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Laučiškaitė, Viktorija. (2014). Modalumo logikos S4 kai kurios išsprendžiamos klasės. (Masters Thesis). Vilnius University. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Laučiškaitė, Viktorija. “Modalumo logikos S4 kai kurios išsprendžiamos klasės.” 2014. Masters Thesis, Vilnius University. Accessed July 17, 2019. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Laučiškaitė, Viktorija. “Modalumo logikos S4 kai kurios išsprendžiamos klasės.” 2014. Web. 17 Jul 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Laučiškaitė, Viktorija. Modalumo logikos S4 kai kurios išsprendžiamos klasės. [Internet] [Masters thesis]. Vilnius University; 2014. [cited 2019 Jul 17]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Laučiškaitė, Viktorija. Modalumo logikos S4 kai kurios išsprendžiamos klasės. [Masters Thesis]. Vilnius University; 2014. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

.