Defining a Double Team Semantics for Generalized Quantifiers

Abstract

In this brief technical report we sketch a semantics for fi rst-order logic with generalized quantifiers based on double teams. We also define the 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 then briefly discuss how our double team semantics relates to game semantics based approaches to extensions of first-order logic with generalized quantifiers.