On modal logic with propositional quantifiers

Journal of Symbolic Logic 34 (2):257-263 (1969)
  Copy   BIBTEX

Abstract

I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.

Categories

Keywords

Reprint years

DOI

10.2307/2271102

Other Versions

No versions found

Links

PhilArchive



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

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

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.
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.
Propositional Quantifiers.Peter Fritz - 2024 - Cambridge: Cambridge University Press.
KD45 with Propositional Quantifiers.P. Maurice Dekker - forthcoming - Logic and Logical Philosophy:1-28.
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
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.
Undefinability of propositional quantifiers in the modal system S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.
Kit Fine. Propositional quantifiers in modal logic. Theoria, vol. 36 , pp. 336–346.Daniel Gallin - 1973 - Journal of Symbolic Logic 38 (2):329.

Analytics

Added to PP
2009-01-28

Downloads
84 (#246,665)

6 months
8 (#551,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.

View all 29 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.

Add more references