Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 53, Number 4 (2012), 549-556.
Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants
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.
Notre Dame J. Formal Logic, Volume 53, Number 4 (2012), 549-556.
First available in Project Euclid: 8 November 2012
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
French, Rohan. Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants. Notre Dame J. Formal Logic 53 (2012), no. 4, 549--556. doi:10.1215/00294527-1722746. https://projecteuclid.org/euclid.ndjfl/1352383231