Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants

Notre Dame Journal of Formal Logic 53 (4):549-556 (2012)
  Copy   BIBTEX

Abstract

We show that there are denumerably many Post-complete normal modal logics in the language which includes an additional propositional constant. This contrasts with the case when there is no such constant present, for which it is well known that there are only two such logics.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,154

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 - 2012 - Journal of Philosophical Logic (1):1-20.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.
Halldén-completeness by gluing of Kripke frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.

Analytics

Added to PP
2012-11-09

Downloads
36 (#493,085)

6 months
8 (#834,286)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rohan French
University of California, Davis

Citations of this work

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.
Note on Extending Congruential Modal Logics.Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (1):95-103.
An observation concerning porte's rule in modal logic.Rohan French & Lloyd Humberstone - 2015 - Bulletin of the Section of Logic 44 (1/2):25-31.

Add more citations

References found in this work

Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.

View all 9 references / Add more references