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

Deduction Systems for Multimodal Logics with Operations on Modalities

Kuusisto, Antti (2007)

 
Avaa tiedosto
978-951-44-6998-5.pdf (297.7Kt)
Lataukset: 



Kuusisto, Antti
Tampereen yliopisto
2007

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/urn:isbn:978-951-44-6998-5
Tiivistelmä
This article is a brief, user friendly discourse on extensions of multi- modal logics with operations on modalities. Such logics are considered from a general point of view with the emphasis on the theory of deduc- tion systems. The first part of the article concentrates on developing general tools that lead to partial completeness results for logics where the algebra of modalities is effectively axiomatizable. The second part is devoted to the completeness issue of multimodal logic with union and intersection of modalities. A natural, straightforward axiomatization and a proof of completeness are given.
Kokoelmat
  • Erillisteokset ja sarjajulkaisut [1300]
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