Post completeness in congruential modal logics

zbMATH Open1400.03041MaRDI QIDQ4636040FDOQ4636040

Authors: Peter Fritz 

Publication date: 23 April 2018

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

zbMATH Keywords

propositional modal logicpost completenessclassical modal logicscongruential modal logics

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Denumerably many Post-complete normal modal logics with propositional constants
• Deduction theorem in congruential modal logics
• Post complete and 0-axiomatizable modal logics
• Title not available (Why is that?)

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)