Abstract
The semantics for quantifiers described in this paper can be viewed both as a new semantics for generalized quantifiers and as a new look at standard first-order quantification, bringing the latter closer to modal logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Alechina. On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic. Journal of Logic, Language and Information, 4:177–189, 1995.
A. Alechina and M. van Lambalgen. Correspondence and completeness for generalized quantifiers. Bulletin of the IGPL, 3:167–190, 1995.
J. van Benthem. Correspondence theory. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 167–247. Reidel, Dordrecht, 1984.
J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, 1985.
J. van Benthem. Logic as programming. Fundamentae Informaticae, 17:285–317, 1992.
J. van Benthem. Modal foundations for predicate logic. Technical report, CSLI, Stanford University, 1994. To appear in E. Orlowska, editor, Memorial Volume for Elena Rasiowa, Studia Logica Library, Kluwer, Dordrecht.
L.A. Chagrova. An undecidable problem in correspondence theory. Journal of Symbolic Logic, 56:1261–1272, 1991.
M. van Lambalgen. Natural deduction for generalized quantifiers. In J. van der Does and J. van Eijck, editors, Generalized Quantifier Theory and Applications, pages 143–154. Dutch Network for Language, Logic and Information, 1991.
I. Németi. Decidable versions of first-order logic and cylindric-relativized set algebras. In L. Csirmaz, D.M. Gabbay and M. de Rijke, editors, Logic Colloquium ’92, pages 177–241, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1995.
M. de Rijke. How not to generalize Sahlqvist’s theorem, 1992. Manuscript, ILLC, University of Amsterdam.
M. de Rijke. The modal logic of inequality. Journal of Symbolic Logic, 57:566–584, 1992.
Y. Venema. Many-Dimensional Modal Logic. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Van Benthem, J., Alechina, N. (1997). Modal Quantification over Structured Domains. In: de Rijke, M. (eds) Advances in Intensional Logic. Applied Logic Series, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8879-9_1
Download citation
DOI: https://doi.org/10.1007/978-94-015-8879-9_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4897-4
Online ISBN: 978-94-015-8879-9
eBook Packages: Springer Book Archive