The following pages link to The truth about some Post numbers (Q4097255):
Displaying 5 items.
- Denumerably many Post-complete normal modal logics with propositional constants (Q691130) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Continuum many maximal consistent normal bimodal logics with inverses (Q5937810) (← links)
- Tabularity and post-completeness in tense logic (Q6552266) (← links)