KD45 with Propositional Quantifiers

Logic and Logical Philosophy 33 (1):27-54 (2024)
  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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,492

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, 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.
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.
One Modal Logic to Rule Them All?Wesley H. Holliday & Tadeusz Litak - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer, Advances in Modal Logic, Vol. 12. College Publications. pp. 367-386.
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.
A Hyperintensional Logic of Non-prime Evidence.Pietro Vigiani - 2024 - Journal of Philosophical Logic 53 (3):761-788.

Analytics

Added to PP
2023-08-29

Downloads
39 (#642,377)

6 months
11 (#332,704)

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