diplomsko delo
Lara Pirjevec (Author), Andrej Bauer (Mentor), Marko Slapar (Co-mentor)

Abstract

Diplomsko delo preko ponovitve izjavnega računa preide na ločevanje različnih načinov resnic ter na matematično podlago, v kateri se najprej seznanimo s sintakso in semantiko modalne logike. Sledi opredelitev modelov, veljavnih formul, shem formul in predstavitev ekvivalenc modalne logike. V drugem delu diplomskega dela pa se osredotočimo predvsem na logično načrtovanje, preko katerega modeliramo različne koncepte resnice, katere dosežemo tako, da v model sprejemamo različne sheme formul. Predstavljene so tudi lastnosti relacije dostopnosti in njihova povezava s formulami.

Keywords

modalna logika;načini resnice;nujnost;možni svet;sheme formul;

Data

Language: Slovenian
Year of publishing:
Typology: 2.11 - Undergraduate Thesis
Organization: UL PEF - Faculty of Education
Publisher: [L. Pirjevec]
UDC: 510.643(043.2)
COBISS: 10681417 Link will open in a new window
Views: 1114
Downloads: 182
Average score: 0 (0 votes)
Metadata: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Other data

Secondary language: English
Secondary title: Basics of modal logic
Secondary abstract: In thesis we first recall basics of propositional logic. Then we distinguish between various modes of truth and give matematical fundation/basis in which we become familiar with syntax and semantics of modal logic. Then we introduce and define models, valid formulas, formula schemes and equivalences between modal formulas. Later on we focus on a logic engineering in which we model various modes of truth. To achieve that we have to decide which formula schemes should be valid in models. At the end we also look at the properties of the accessibility relation and its conection with formulas.
Secondary keywords: mathematics;matematika;
File type: application/pdf
Type (COBISS): Bachelor thesis/paper
Thesis comment: Univ. Ljubljana, Pedagoška fak., Dvopredmetni učitelj
Pages: 31 str.
ID: 8890236
Recommended works:
, diplomsko delo
, diplomsko delo