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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-71430-7_9

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Reflections on Proof Complexity and Counting Principles.Noah Fleming & Toniann Pitassi - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 497-520.
Substitution and Propositional Proof Complexity.Sam Buss - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 477-496.
Ockham Algebras—An Urquhart Legacy.T. S. Blyth & H. J. Silva - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 367-387.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Temporal Logic of Minkowski Spacetime.Robin Hirsch & Brett McLean - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 389-409.
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 557-570.
St. Alasdair on Lattices Everywhere.Katalin Bimbó & J. Michael Dunn - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 323-346.
Application of Urquhart’s Representation of Lattices to Some Non–classical Logics.Ivo Düntsch & Ewa Orłowska - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 347-366.
On transformations of constant depth propositional proofs.Arnold Beckmann & Sam Buss - 2019 - Annals of Pure and Applied Logic 170 (10):1176-1187.

Analytics

Added to PP
2022-03-09

Downloads
9 (#1,523,188)

6 months
5 (#1,038,502)

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