Osnove modalne logike

diplomsko delo

Lara Pirjevec (Avtor), Andrej Bauer (Mentor), Marko Slapar (Komentor)

Povzetek

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.

Ključne besede

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

Podatki

Jezik:	Slovenski jezik
Leto izida:	2015
Tipologija:	2.11 - Diplomsko delo
Organizacija:	UL PEF - Pedagoška fakulteta
Založnik:	[L. Pirjevec]
UDK:	510.643(043.2)
COBISS:	10681417
Št. ogledov:	1114
Št. prenosov:	182
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	Basics of modal logic
Sekundarni povzetek:	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.
Sekundarne ključne besede:	mathematics;matematika;
Vrsta datoteke:	application/pdf
Vrsta dela (COBISS):	Diplomsko delo/naloga
Komentar na gradivo:	Univ. Ljubljana, Pedagoška fak., Dvopredmetni učitelj
Strani:	31 str.
ID:	8890236