Journal of Logic, Language and Information 2 (1):19-58 (1993)
We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems and of systems in the quantifier tradition, complexity as well as syntactic characterizations of special semantic constraints. Throughout the paper several techniques current in the theory of generalized quantifiers are used to obtain results in modal logic, and conversely.
|Keywords||Modal logic generalized quantifiers axiomatic completeness complexity definability|
|Categories||categorize this paper)|
References found in this work BETA
On the Semantics of Graded Modalities.Wiebe Van der Hoek - 1992 - Journal of Applied Non-Classical Logics 2 (1):81-123.
Citations of this work BETA
Coinductive Models and Normal Forms for Modal Logics.Carlos Areces & Daniel Gorín - 2010 - Journal of Applied Logic 8 (4):305-318.
Directions in Generalized Quantifier Theory.Dag Westerståhl & J. F. A. K. van Benthem - 1995 - Studia Logica 55 (3):389-419.
A Modal Perspective on the Computational Complexity of Attribute Value Grammar.Patrick Blackburn & Edith Spaan - 1993 - Journal of Logic, Language and Information 2 (2):129-169.
Guards, Bounds, and Generalized Semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Toward Model-Theoretic Modal Logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Similar books and articles
Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006-1044.
Relativized Logspace and Generalized Quantifiers Over Finite Ordered Structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.
The Hierarchy Theorem for Generalized Quantifiers.Lauri Hella, Kerkko Luosto & Jouko Väänänen - 1996 - Journal of Symbolic Logic 61 (3):802-817.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
One Connection Between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers.Ben Shalom Dorit - 2003 - Journal of Logic, Language and Information 12 (1):47-52.
Added to index2009-01-28
Total downloads49 ( #107,057 of 2,171,974 )
Recent downloads (6 months)1 ( #326,556 of 2,171,974 )
How can I increase my downloads?