A Double Team Semantics for Generalized Quantifiers
classification
🧮 math.LO
cs.LO
keywords
semanticsdefinedoublegeneralizedfirst-orderlogicquantifiersteam
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.