Osnove modalne logikePirjevec, Lara (Avtor) Bauer, Andrej (Mentor) Slapar, Marko (Komentor) modalna logikaDiplomsko 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.20152015-09-10 04:56:32Neznano72269COBISS_ID: 10681417sl