Generalized quantifiers and modal logic

DOI10.1007/BF01051767zbMath0797.03014MaRDI QIDQ1314283

Maarten de Rijke, Wiebe van der Hoek

Publication date: 22 February 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logiccompletenessdefinabilitygeneralized quantifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Related Items (18)

Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ Arithmetizations of Syllogistic à la Leibniz ⋮ Reasoning about coalitional games ⋮ Partial up an down logic ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ Directions in generalized quantifier theory ⋮ Multi-dimensional semantics for modal logics ⋮ Cardinality restrictions on concepts ⋮ Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Some considerations on the logics P_FD A logic combining modality and probability ⋮ Exploring the tractability border in epistemic tasks ⋮ First-Order Resolution Methods for Modal Logics ⋮ Local properties in modal logic ⋮ Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Guards, bounds, and generalized semantics ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Essays in logical semantics
• Graded modalities. III: The completeness and compactness of \(S4^ 0\)
• Set containment inference and syllogisms
• Qualitative probability as an intensional logic
• Solvable cases of the decision problem
• Questions about quantifiers
• Using the Universal Modality: Gains and Questions
• The modal logic of inequality
• The Computational Complexity of Provability in Systems of Modal Propositional Logic

This page was built for publication: Generalized quantifiers and modal logic