20.500.12556/RUL-72269 Osnove modalne logike Basics of modal logic 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. 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. modalna logika modal logic true false false Slovenski jezik Angleški jezik Neznano 2015-09-10 04:56:32 2015-09-10 04:56:33 2025-10-10 15:18:58 0000-00-00 00:00:00 2015 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 10681417 lpirjevec_diplomsko_delo.pdf lpirjevec_diplomsko_delo.pdf 1 896A7D60979E110C49A3CCBC095B1D62 23be11537d428d5fae9cb08b5ce2f03152d4a17b7a8471bdbaa152bb50ba9b1e 45b9b344-1aa7-11f0-b232-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=204079 Pedagoška fakulteta 0 0 0