More on the Power of a Constant

In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 287-290 (2021)
  Copy   BIBTEX

Abstract

In a recent paper, Godblatt and Kowalski show that if we add to monomodal logic just a single propositional constant then instead of two coatoms, we suddenly have continuum many. In this note we shall provide an alternative proof of that fact by showing that the simulation results of Kracht and Wolter can be sharpened.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2014 - Journal of Philosophical Logic 43 (1):133-152.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Temptation and Seduction in the Technological Milieu.J. M. van der Laan - 2004 - Bulletin of Science, Technology and Society 24 (6):509-514.
Why constant? A critical overview of the constant revival.Helena Rosenblatt - 2004 - Modern Intellectual History 1 (3):439-453.
Universal Constants as Manifestations of Relativity.A. A. Sheykin - 2022 - Foundations of Physics 52 (2):1-12.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
Power: A Philosophical Analysis.Peter Morriss - 1987 - New York: Manchester University Press.
The cosmological constant, the fate of the universe, unimodular gravity, and all that.John Earman - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (4):559-577.
Constant Regions in Models of Arithmetic.Tin Lok Wong - 2015 - Notre Dame Journal of Formal Logic 56 (4):603-624.

Analytics

Added to PP
2022-03-09

Downloads
3 (#1,711,102)

6 months
3 (#973,855)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references