Journal of Logic, Language and Information 2 (1) (1993)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Natasha Alechina & Michiel van Lambalgen (1996). Generalized Quantification as Substructural Logic. Journal of Symbolic Logic 61 (3):1006-1044.
Georg Gottlob (1997). Relativized Logspace and Generalized Quantifiers Over Finite Ordered Structures. Journal of Symbolic Logic 62 (2):545-574.
Steven T. Kuhn (1980). Quantifiers as Modal Operators. Studia Logica 39 (2-3):145 - 158.
Lauri Hella, Kerkko Luosto & Jouko Väänänen (1996). The Hierarchy Theorem for Generalized Quantifiers. Journal of Symbolic Logic 61 (3):802-817.
Juha Kontinen (2006). The Hierarchy Theorem for Second Order Generalized Quantifiers. Journal of Symbolic Logic 71 (1):188 - 202.
Johan van Benthem & Dag Westerståhl (1995). Directions in Generalized Quantifier Theory. Studia Logica 55 (3):389-419.
Juha Kontinen & Jakub Szymanik (2011). Characterizing Definability of Second-Order Generalized Quantifiers. 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.
Dorit Ben Shalom (2003). One Connection Between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers. Journal of Logic, Language and Information 12 (1):47-52.
Dorit Ben Shalom (2003). One Connection Between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers. Journal of Logic, Language and Information 12 (1).
Added to index2009-01-28
Total downloads25 ( #50,423 of 556,916 )
Recent downloads (6 months)1 ( #64,931 of 556,916 )
How can I increase my downloads?