BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
1310.3032v17
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links