Propositional Quantifiers

This Element defines propositional quantifiers and explains why they are especially useful in the context of modal logics.

This Element explains why propositional quantifiers are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.