- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Undefinability of propositional quantifiers in the modal system S
Studia Logica 55 (2):259 - 271 (1995)
Abstract
We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.Other Versions
No versions found
My notes
Similar books and articles
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
Uniform Interpolation and Propositional Quantifiers in Modal Logics.Marta Bílková - 2007 - Studia Logica 85 (1):1-31.
KD45 with Propositional Quantifiers.P. Maurice Dekker - forthcoming - Logic and Logical Philosophy:1-28.
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.
On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
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.
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Analytics
Added to PP
2009-01-28
Downloads
73 (#288,155)
6 months
4 (#1,252,858)
2009-01-28
Downloads
73 (#288,155)
6 months
4 (#1,252,858)
Historical graph of downloads
Citations of this work
Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.Albert Visser - 2002 - Annals of Pure and Applied Logic 114 (1-3):227-271.
Uniform interpolation and sequent calculi in modal logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
Uniform Interpolation and Propositional Quantifiers in Modal Logics.Marta Bílková - 2007 - Studia Logica 85 (1):1-31.
Knowledge forgetting: Properties and applications.Yan Zhang & Yi Zhou - 2009 - Artificial Intelligence 173 (16-17):1525-1537.
References found in this work
A Companion to Modal Logic.George Edward Hughes & M. J. Cresswell - 1984 - London, England: Methuen. Edited by M. J. Cresswell.
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-82spv uwo