KD45 with Propositional Quantifiers

Logic and Logical Philosophy:1-28 (forthcoming)
  Copy   BIBTEX

Abstract

Steinsvold (2020) has provided two semantics for the basic modal language enriched with propositional quantifiers (∀p). We define an extension EM of the system KD45_{\Box} and prove that EM is sound and complete for both semantics. It follows that the two semantics are equivalent.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2023.018

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

A Two Dimensional Tense-modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
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.
Another Problem in Possible World Semantics.Yifeng Ding & Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 13. College Publications. pp. 149-168.
On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
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.
The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22-69.
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
Propositional Quantifiers.Peter Fritz - 2024 - Cambridge: Cambridge University Press.
Montague Type Semantics for Modal Logics with Propositional Quantifiers.Dov M. Gabbay - 1971 - Mathematical Logic Quarterly 17 (1):245-249.

Analytics

Added to PP
2023-08-29

Downloads
30 (#740,724)

6 months
9 (#454,186)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paul Dekker
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references