Propositional Quantifiers
P. Fritz
Abstract
"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
Topics & Concepts
Computer scienceMathematicsPhilosophyLinguisticsLogic, Reasoning, and KnowledgeConstraint Satisfaction and OptimizationAdvanced Algebra and Logic