Open Access
2012 Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants
Rohan French
Notre Dame J. Formal Logic 53(4): 549-556 (2012). DOI: 10.1215/00294527-1722746

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.

Citation

Download Citation

Rohan French. "Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants." Notre Dame J. Formal Logic 53 (4) 549 - 556, 2012. https://doi.org/10.1215/00294527-1722746

Information

Published: 2012
First available in Project Euclid: 8 November 2012

zbMATH: 1263.03013
MathSciNet: MR2995419
Digital Object Identifier: 10.1215/00294527-1722746

Subjects:
Primary: 03B45

Keywords: modal logic , post-completeness , propositional constants

Rights: Copyright © 2012 University of Notre Dame

Vol.53 • No. 4 • 2012
Back to Top