Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants

Rohan French
2012 Notre Dame Journal of Formal Logic  
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.
doi:10.1215/00294527-1722746 fatcat:ipbgorr3yfgtvcxtwa2ibjlrdu