Post completeness in congruential modal logics

MaRDI QIDQ4636040zbMATH OpenFDO

Authors Peter Fritz

Publication date 23 April 2018

zbMATH Keywords

propositional modal logicpost completenessclassical modal logicscongruential modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Denumerably many Post-complete normal modal logics with propositional constants
• Post complete and 0-axiomatizable modal logics
• scientific article; zbMATH DE number 1858068
• Note on extending congruential modal logics
• Positive modal logic

Cited in

(7)

• Tabularity and post-completeness in tense logic
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Denumerably many Post-complete normal modal logics with propositional constants
• scientific article; zbMATH DE number 1858068 (Why is no real title available?)
• Deduction theorem in congruential modal logics
• Post complete and 0-axiomatizable modal logics
• scientific article; zbMATH DE number 5356414 (Why is no real title available?)

This page was built for publication: Post completeness in congruential modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636040)