Hyppää sisältöön
    • Suomeksi
    • In English
Trepo
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   Etusivu
  • Trepo
  • Opinnäytteet - ylempi korkeakoulututkinto
  • Näytä viite
  •   Etusivu
  • Trepo
  • Opinnäytteet - ylempi korkeakoulututkinto
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Scott-Montague -semantiikka modaalilogiikassa.

KIVELÄ, JARI (2002)

 

Tässä tietueessa ei ole kokotekstiä saatavilla Treposta, ainoastaan metadata.



KIVELÄ, JARI
2002

Matematiikka - Mathematics
Informaatiotieteiden tiedekunta - Faculty of Information Sciences
Hyväksymispäivämäärä
2002-10-24
Näytä kaikki kuvailutiedot
Tiivistelmä
Tutkielmassa tarkastellaan modaalilogiikan Scott-Montague ­semantiikkaa, joka tarjoaa ilmaisukyvyn suhteen monipuolisemmat mahdollisuudet kuin perinteinen Kripke-semantiikka. Semantiikkojen välillä on olemassa selvä yhteys, sillä kaikki Kripke-mallit voidaan tulkita vastaavina Scott-Montague ­malleina. Käänteinen ei kuitenkaan ole voimassa, sillä on olemassa Scott-Montague ­malleja, joita ei vastaa mikään Kripke-malli.

Scott-Montague ­semantiikalle voidaan antaa myös vaihtoehtoinen määritelmä, jolloin semantiikalle käytetään mm. nimitystä ympäristösemantiikka. Tutkielmassa osoitetaan, että nämä määritelmät ovat yhtäpitäviä.

Tutkielmassa esitellään myös Scott-Montague ­semantiikalle bisimulaatio ja standardikäännös predikaattilogiikkaan. Bisimulaatio säilyttää kaavojen totuuden, joten se on hyödyllinen apuväline tutkittaessa esimerkiksi modaalilogiikan määriteltävyyttä. Standardikäännöksen avulla puolestaan voidaan modaalilogiikan kaavat tulkita predikaattilogiikan kaavoina.

Tutkielman päälähteenä on käytetty B. F. Chellasin teosta Modal logic: an introduction. Bisimulaation ja standardikäännöksen osalta lähteenä on käytetty P. Blackburnin, M. de Rijken ja Y. Veneman kirjaa Modal Logic, jossa vastaavat käsitteet on esitetty Kripke-semantiikalle.
Kokoelmat
  • Opinnäytteet - ylempi korkeakoulututkinto [40001]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2019 -)Tiedekunta (- 2018)Tutkinto-ohjelmat ja opintosuunnatAvainsanatJulkaisuajatKokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste