Modal Logics and Bisimulation Invariance

Visa fullständig post



Permalänk

http://urn.fi/URN:NBN:fi:hulib-201908283352
Titel: Modal Logics and Bisimulation Invariance
Författare: Sandström, Max
Medarbetare: Helsingfors universitet, Matematisk-naturvetenskapliga fakulteten
Utgivare: Helsingin yliopisto
Datum: 2019
Språk: eng
Permanenta länken (URI): http://urn.fi/URN:NBN:fi:hulib-201908283352
http://hdl.handle.net/10138/305041
Nivå: pro gradu-avhandlingar
Ämne: Matematiikka
Abstrakt: Logiikan alalla eräs kiinnostava kysymys on minkälaisia malleja saadaan määriteltyä eri logiikoiden kaavoilla. Tätä kutsutaan logiikan ilmaisuvoimaksi. Modaalilogiikoille ilmaisuvoiman rajoja osoittavia lauseita kutsutaan van Benthemin lauseiksi. Modaalilogiikoiden ilmaisuvoimalle keskeinen piirre on bisimulaatioinvarianssi. Tässä tutkielmassa osoitetaan van Benthemin lause kahdelle logiikalle: modaalilogiikalle ja laajennetulle modaaliselle riippuvuuslogiikalle. Työssä esitellään myös modaalilogiikan ja riippuvuuslogiikan perusteita lyhyesti ennen kunkin logiikan van Benthem lauseen todistusta. Tässä tutkielmassa modaalilogiikan van Benthemin lause todistetaan peliteorian keinoin, mikä mahdollistaa todistuksen pelkästään äärellisiä malleja käyttäen, toisin kuin alkuperäinen malliteoreettinen todistus. Lause sanoo, että modaalilogiikka on ilmaisuvoimaltaan sama kuin ensimmäisen kertaluvun logiikan bisimulaatioinvariantti fragmentti. Kaikille logiikoille van Benthemin lauseen suora todistaminen ei onnistu yhtä vaivattomasti. Tällöin käytetään hyväksi välituloksia. Esimerkkinä tästä toimii laajennettu modaalinen riippuvuuslogiikka, jolle lause osoitetaan todistamalla se eri logiikalle, joka puolestaan todistetaan loogisesti ekvivalentiksi laajennetun modaalisen riippuvuuslogiikan kanssa. Tässä työssä van Benthem lause osoitetaan aluksi modaalilogiikalle, jota on laajennettu intuitionistisella disjunktiolla. Tämä logiikka todistetaan loogisesti ekvivalentiksi laajennetun modaalisen riipuvuuslogiikan kanssa. Näille logiikoille van Benthemin lause rajaa logiikan kykenevän määrittelemään alaspäin suljettuja, tyhjän tiimin ominaisuuden omaavia malleja jotka ovat bisimulaation suhteen invariantteja.
Subject: modaalilogiikka
riippuvuuslogiikka
modaalinen riippuvuuslogiikka
van Benthemin lause


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
Sandstrom_Max_Pro_gradu_2019.pdf 503.9Kb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post