A Double Team Semantics for Generalized Quantifiers release_gqmqlait65fnxlkockmbhehwca

by Antti Kuusisto

Released as a article .

2016  

Abstract

We define a semantics for first-order logic with generalized quantifiers based on double teams. We also define and investigate a notion of a generalized atom. Such atoms can be used in order to define extensions of first-order logic with a team-based semantics. We also define a game semantics and compare it with the double team semantics.
In text/plain format

Archived Files and Locations

application/pdf  501.0 kB
file_ewjeit6w5vd2vlcwruw5ygbaoy
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2016-10-16
Version   v17
Language   en ?
arXiv  1310.3032v17
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 5d8d3f28-e8eb-4460-bd8d-48e2d6118a23
API URL: JSON