A Double Team Semantics for Generalized Quantifiers


Abstract
We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly extended with generalized quantifiers and generalized atoms, under the same umbrella framework. The semantics is based on pairs of teams, or double teams. We also devise a game-theoretic semantics equivalent to the double team semantics. We make use of the double team semantics by defining a logic $$\hbox {DC}^2$$ DC 2 which canonically fuses together two-variable dependence logic $$\hbox {D}^2$$ D 2 and two-variable logic with counting quantifiers $$\hbox {FOC}^2$$ FOC 2 . We establish that the satisfiability and finite satisfiability problems of $$\hbox {DC}^2$$ DC 2 are complete for $$\hbox {NEXPTIME}$$ NEXPTIME
Keywords Team semantics  Dependence logic  Generalized quantifiers  Game-theoretic semantics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-015-9217-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
Through your library

References found in this work BETA

Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.

View all 10 references / Add more references

Citations of this work BETA

Modal Independence Logic.Juha Kontinen, Julian-Steffen Müller, Henning Schnoor & Heribert Vollmer - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 353-372.

Add more citations

Similar books and articles

Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
Quantification.Anna Szabolcsi - 2010 - Cambridge University Press.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
The Formal Semantics of Clitic Doubling.J. Gutierrez-Rexach - 1999 - Journal of Semantics 16 (4):315-380.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
Preliminaries to the Treatment of Generalized Quantifiers in Situation Semantics.Robin Cooper - 1987 - In Peter Gärdenfors (ed.), Generalized Quantifiers. Reidel Publishing Company. pp. 73--91.
Towards a Computational Semantics.Johan van Benthem - 1987 - In Peter Gärdenfors (ed.), Generalized Quantifiers. Reidel Publishing Company. pp. 31--71.

Analytics

Added to PP index
2015-04-29

Total views
14 ( #619,778 of 2,285,696 )

Recent downloads (6 months)
3 ( #416,003 of 2,285,696 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature