A Double Team Semantics for Generalized Quantifiers
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2013
- DOI:
- 10.48550/arXiv.1310.3032
- arXiv:
- arXiv:1310.3032
- Bibcode:
- 2013arXiv1310.3032K
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science;
- 03C80