A Double Team Semantics for Generalized Quantifiers

24 Jun 2015  ·  Kuusisto Antti ·

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. read more

PDF Abstract
No code implementations yet. Submit your code now


Logic Logic in Computer Science