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.

References in corpus (4)

• Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
• Hierarchies in independence logic
• The size of a formula as a measure of complexity
• Complexity of two-variable Dependence Logic and IF-Logic