Propositional Quantifiers

Cambridge: Cambridge University Press (2024)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

ISBN(s)

  100953274X   1009177737
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.Peter Fritz - forthcoming - Journal of Symbolic Logic:1-36.
A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Logics for propositional contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
KD45 with Propositional Quantifiers.P. Maurice Dekker - forthcoming - Logic and Logical Philosophy:1-28.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
One Connection between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers.Dorit Ben Shalom - 2003 - Journal of Logic, Language and Information 12 (1):47-52.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
One Modal Logic to Rule Them All?Wesley H. Holliday & Tadeusz Litak - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic, Vol. 12. College Publications. pp. 367-386.
Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.
A General Semantics for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 227-246.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Generalized quantifiers and modal logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Generalized quantifiers and modal logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.

Analytics

Added to PP
2024-04-25

Downloads
56 (#285,378)

6 months
56 (#82,121)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Fritz
Australian Catholic University

Citations of this work

Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references