prikaz prve stranice dokumenta Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika
  Download
PDF 313.21 KB
master's thesis
Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika
Zagreb: University of Zagreb, Faculty of Science, 2023. urn:nbn:hr:217:536360
Sokolaj, Iva
University of Zagreb
Faculty of Science
Department of Mathematics

Institutional repository: Repository of the Faculty of Science

Cite this document

Sokolaj, I. (2023). Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika (Master's thesis). Zagreb: University of Zagreb, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:217:536360

Sokolaj, Iva. "Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika." Master's thesis, University of Zagreb, Faculty of Science, 2023. https://urn.nsk.hr/urn:nbn:hr:217:536360

Sokolaj, Iva. "Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika." Master's thesis, University of Zagreb, Faculty of Science, 2023. https://urn.nsk.hr/urn:nbn:hr:217:536360

Sokolaj, I. (2023). 'Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika', Master's thesis, University of Zagreb, Faculty of Science, accessed 29 June 2024, https://urn.nsk.hr/urn:nbn:hr:217:536360

Sokolaj I. Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika [Master's thesis]. Zagreb: University of Zagreb, Faculty of Science; 2023 [cited 2024 June 29] Available at: https://urn.nsk.hr/urn:nbn:hr:217:536360

I. Sokolaj, "Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika", Master's thesis, University of Zagreb, Faculty of Science, Zagreb, 2023. Available at: https://urn.nsk.hr/urn:nbn:hr:217:536360

Metadata
TitleMetode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika
Title (english)Methods of interpretation, quasi-models and mosaics for proving the decidability of modal logics
AuthorIva Sokolaj
MentorMladen Vuković (mentor)
MentorTin Perkov (sumentor)
Committee memberMarko Horvat (predsjednik povjerenstva)
Committee memberZvonko Iljazović (član povjerenstva)
Committee memberMladen Vuković (član povjerenstva)
Committee memberTin Perkov (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Science
(Department of Mathematics)
Zagreb
Defense date and country2023-12-04, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Abstract
U ovom radu predstavljeni su neki osnovni pojmovi sintakse i semantike modalne logike. Zatim su definirani neki sistemi modalne logike poput sistema KvB. Definirano je svojstvo konačnih modela te prezentirana metoda konačnih modela za dokazivanje odlučivosti modalnih logika. Istaknut je nedostatak te metode, a to je da ne posjeduju sve odlučive logike svojstvo konačnih modela. Logika KvB primjer je jedne takve logike. Zato su predložene druge metode za dokazivanje odlučivosti modalnih logika. Riječ je o metodama interpretacije, kvazimodela i mozaika. Predstavljena je teorija \(SnS\) te je iskazan Rabinov teorem o odlučivosti teorije \(SnS\). Metodom interpretacije dokazana je odlučivost logike KvB. To je ostvareno tako da je problem odlučivosti logike KvB sveden na problem odlučivosti teorije \(SnS\). Odlučivost logike \textbf{\emph{KvB}} dokazana je i pomoću kvazimodela. Definirano je jedno proširenje osnovnog modalnog jezika naziva temporalni jezik. Zatim je definirana temporalna logika \(\boldsymbol{K_tN}\). Metodom mozaika dokazana je odlučivost logike \(\boldsymbol{K_tN}\). Iako su metode interpretacije, kvazimodela i mozaika predstavljene kroz dokaz odlučivosti logika KvB i \(\boldsymbol{K_tN}\), ove metode primjenjive su i na neke druge modalne logike.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:217:536360
Study programmeTitle: Computer Science and Mathematics
Study programme type: university
Study level: graduate
Academic / professional title: sveučilišni magistar računarstva i matematike (sveučilišni magistar računarstva i matematike)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2024-02-13 08:51:52