Algoritmi za standardnu translaciju modalnih formula

master's thesis

• Author: Filip Skrinjar
• Mentor: Mladen Vuković (mentor)
• Committee member: Mladen Vuković (predsjednik povjerenstva)
• Committee member: Goranka Nogo (član povjerenstva)
• Committee member: Vedran Čačić (član povjerenstva)
• Committee member: Miljenko Huzak (član povjerenstva)
• Granter: University of Zagreb; Faculty of Science; (Department of Mathematics); Zagreb
• Defense date and country: 2019-12-19, Croatia
• Scientific / art field, discipline and subdiscipline: NATURAL SCIENCES; Mathematics

Abstract

Glavna tema ovog rada je Szalasov algoritam koji za danu modalnu formulu pronalazi njenog korespondenta prvog reda na okvirima. U prvom poglavlju rada promatramo osnovni modalni jezik, Kripkeovu semantiku te iznosimo potrebne definicije i pojmove logike prvog i drugog reda. Potom se bavimo temom korespondencije formula osnovnog modalnog jezika i formula logike prvog i drugog reda. Uz to promatramo i funkciju standardne translacije za formule osnovnog modalnog jezika. U trećem poglavlju detaljno promatramo Szalasov algoritam. Teorijski ga analiziramo, opisujemo po koracima, iznosimo pseudokod algoritma kao i neke primjere rada.

Abstract (english)

The main topic of this Master thesis is Szalas’ algorithm which for a given modal formula, finds its first-order correspondent. In the first chapter of the thesis, we look at the basic modal language, Kripke semantics, and present the necessary definitions and concepts of first and second-order logic. We then address the topic of correspondence between basic modal formulas and first or second-order formulas. We also look at the standard translation function for basic modal formulas. In the third section, we look at the Szalas’ algorithm in detail. We analyze it theoretically, describe it step by step, present the pseudocode of the algorithm and present some examples.

• Keywords: Szalasov algoritam; Kripkeova semantika
• Keywords (english): Szalas’ algorithm; Kripke semantics
• Language: croatian
• URN:NBN: urn:nbn:hr:217:099612
• Study programme: Title: Computer Science and Mathematics; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra računarstva i matematike (magistar/magistra računarstva i matematike)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Open access
• Created on: 2021-03-09 12:39:27