More on the Power of a Constant

DOI10.1007/978-3-030-71430-7_9MaRDI QIDQ5027239zbMATH OpenOpenAlexFDO

Authors Marcus Kracht

Publication date 4 February 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-71430-7_9

zbMATH Keywords

simulationmodal logicpost-complete logics

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Recommendations

• The power of a propositional constant
• Denumerably many Post-complete normal modal logics with propositional constants
• Finite model property of normal modal logics and constant formulas: an example
• scientific article; zbMATH DE number 2020142
• Normal monomodal logics can simulate all others

Cites work

• Continuum many maximal consistent normal bimodal logics with inverses
• Normal monomodal logics can simulate all others
• The power of a propositional constant
• Tools and techniques in modal logic

This page was built for publication: More on the Power of a Constant

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