Abstract
In this chapter we consider modal logics with propositional quantifiers. Two interesting axioms appear here, besides the usual modal axioms. These are the Barcan Formula (p)LA(p) → L(p)A(p) and the comprehension axiom (∃p)(p↔A), p not free in A.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1976 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Gabbay, D.M. (1976). Propositional Quantifiers. In: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics. Synthese Library, vol 92. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1453-3_15
Download citation
DOI: https://doi.org/10.1007/978-94-010-1453-3_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1455-7
Online ISBN: 978-94-010-1453-3
eBook Packages: Springer Book Archive