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.

Defining a Double Team Semantics for Generalized Quantifiers (Extended Version)

Kuusisto, Antti (2013)

 
Avaa tiedosto
defining_double_team_2013.pdf (254.4Kt)
Lataukset: 



Kuusisto, Antti
Tampereen yliopisto
2013

Informaatiotieteiden yksikkö - School of Information Sciences
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-9112-2
Tiivistelmä
In this brief technical report we sketch a semantics for first-order logic with generalized quantifi ers based on double teams. We also defi ne the notion of a generalized atom. Such atoms can be used in order to defi ne extensions of first-order logic with a team-based semantics. We then briefly discuss how our double team semantics relates to game semantics based approaches to extensions of fi rst-order logic with generalized quantifi ers.
Kokoelmat
  • Erillisteokset ja sarjajulkaisut [1299]
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