A Double Team Semantics for Generalized Quantifiers

2013/10/11 by Antti Kuusisto, Kuusisto, Antti
Computer Science · #03C80 #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.1310.3032

openalex publication_date 2013/10/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• Hierarchies in independence logic
• Dependence and Independence
• Complexity of two-variable Dependence Logic and IF-Logic

Related

• Generalized quantifiers using team semantics
• Team Semantics and Recursive Enumerability
• Doubly Strongly First Order Dependencies
• A proof-theoretical approach to some extensions of first order quantification
• Implicitly definable generalized quantifiers