Polimodalna logika dokazivosti GLP

diplomski rad

• Autor: Ivo Matijašević
• Mentor: Mladen Vuković (mentor)
• Član povjerenstva: Mladen Vuković (predsjednik povjerenstva)
• Član povjerenstva: Goranka Nogo (član povjerenstva)
• Član povjerenstva: Nenad Antonić (član povjerenstva)
• Član povjerenstva: Boris Muha (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Prirodoslovno-matematički fakultet; (Matematički odsjek); Zagreb
• Datum i država obrane: 2017-09-29, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: PRIRODNE ZNANOSTI; Matematika

Sažetak

U ovom diplomskom radu glavni cilj je dokazati topološku potpunost zatvorenog fragmenta polimodalne logike GLP. Definiramo logiku dokazivosti GL i takozvanu Kripkeovu semantiku za modalne logike koja uspostavlja vezu između relacijskih struktura i modalnog jezika. Ujedno definiramo aritmetičku interpretaciji logike dokazivosti te izričemo Solovayev prvi teorem aritmetičke potpunosti čiji se dokaz temelji na Kripkeovoj semantici za GL. Definiramo modalni sistem s beskonačno mnogo modalnih operatora, GLP, te dokazujemo nepotpunosti sistema GLP u odnosu na vlastitu Kripkeovu semantiku. Zatvoreni fragment sistema GLP, koji označavamo sa GLP\(_0\), ima odgovarajuću Kripkeovu semantiku u obliku takozvanog Ignatievog univerzalnog okvira. Taj okvir onda proširujemo tako da bude izomorfan kanonskom okviru i taj rezultat iskorištavamo kako bi definirali jednostavan topološki model nad ordinalnim brojem \(\epsilon_0\), na kojem je promatrana logika potpuna.

Sažetak (engleski)

The main goal of this thesis is to show the closed fragment of polymodal logic GLP is complete with respect to a certain topological model. We define provability logic GL and so-called Kripke semantics for modal logics, which establishes a connection between relational structures and modal language. Also, we define the arithmetical interpretation of logic of provability and state Solovay’s first arithmetical completeness theorem, whose proof relies on Kripke semantics for GL. We define a model system with infinitely many modalities, GLP, and show that it is incomplete with respect to its class of Kripke frames. Closed fragment of system GLP, which we denote by GLP\(_0\), has appropriate semantics in the form of Ignatiev’s universal frame. That frame is then expanded to one that is isomorphic to the canonical frame and we use that result to define a simple topological model on the ordinal \(\epsilon_0\) for which we have completeness result.

• Ključne riječi: polimodalna logika; Kripkeova semantika za modalne logike; Solovayev prvi teorem aritmetičke potpunosti; Ignatiev univerzalni okvir
• Ključne riječi (engleski): polymodal logic; Kripke semantics for modal logics; Solovay’s first arithmetical completeness theorem; Ignatiev’s universal frame
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:217:789925
• Studijski program: Naziv: Računarstvo i matematika; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra računarstva i matematike (mag. inf. et math.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Otvoreni pristup
• Datum i vrijeme pohrane: 2018-02-28 12:28:48