Generalized quantifiers and modal logic

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.

[1]  Johan van Benthem,et al.  Questions About Quantifiers , 1984, J. Symb. Log..

[2]  Richard E. Ladner,et al.  The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..

[3]  Maurizio Fattorosi-Barnaba,et al.  Graded modalities. III (the completeness and compactness of S40) , 1988, Stud Logica.

[4]  Wiebe van der Hoek.  On the Semantics of Graded Modalities , 1992, J. Appl. Non Class. Logics.

[5]  J. Benthem.  Essays in Logical Semantics , 1986 .

[6]  Kit Fine,et al.  In so many possible worlds , 1972, Notre Dame J. Formal Log..

[7]  Valentin Goranko,et al.  Using the Universal Modality: Gains and Questions , 1992, J. Log. Comput..

[8]  Wilhelm Ackermann,et al.  Solvable Cases Of The Decision Problem , 1954 .

[9]  Paolo Atzeni,et al.  Set Containment Inference and Syllogisms , 1988, Theor. Comput. Sci..

[10]  Maurizio Fattorosi-Barnaba,et al.  Graded modalities. I , 1985, Stud Logica.

[11]  Peter Gärdenfors,et al.  Qualitative probability as an intensional logic , 1975, J. Philos. Log..

[12]  Dag Westerstaåhl,et al.  Quantifiers in Formal and Natural Languages , 1989 .

[13]  Wiebe van der Hoek,et al.  Qualitative Modalities , 1991, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[14]  M. de Rijke,et al.  The Modal Logic of Inequality , 1992, J. Symb. Log..