Defining a Double Team Semantics for Generalized Quantifiers (Extended Version)

Abstract

In this brief technical report we sketch a semantics for first-order logic with generalized quantifi ers based on double teams. We also defi ne the notion of a generalized atom. Such atoms can be used in order to defi ne 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 fi rst-order logic with generalized quantifi ers.