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.

Propositional State Transition Logics

PESONEN, RENNE (2008)

 
Avaa tiedosto
gradu02296.pdf (488.2Kt)
Lataukset: 



PESONEN, RENNE
2008

Matematiikka - Mathematics
Informaatiotieteiden tiedekunta - Faculty of Information Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2008-02-04
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/urn:nbn:fi:uta-1-17690
Tiivistelmä
SIVUAINELAUDATUR

This paper is an introduction to a class of multimodal logics with an algebraic structure associated with modal operators. The discussion focuses on model theory, especially on the interpretation of several syntactic operators on modalities. First part of the paper discusses definitions of languages and models and considers conceptual issues on modal definability of operations on relations. Also in this context the concept of foundations, which is an abstraction level between domains and frames, is introduced. Then some general results on the expressive power of the class of logics in question is covered.

The core of the article consists of several definability results establishing correspondences between formulae and interpretations of syntactic operators within various languages. The correspondence results are divided into two sections discussing operator definability on the level of frames and foundations respectively. It will be demonstrated that all the operations of the calculus of relations are foundation definable, and moreover that all the common closures (reflexive, symmetric and transitive) are definable on the level of frames and foundations.
Kokoelmat
  • Opinnäytteet - ylempi korkeakoulututkinto [40600]
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