A Double Team Semantics for Generalized Quantifiers
Logic
2017-09-01 v9 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1310.3032,
title = {A Double Team Semantics for Generalized Quantifiers},
author = {Antti Kuusisto},
journal= {arXiv preprint arXiv:1310.3032},
year = {2017}
}