The power of a propositional constant

DOI10.1007/S10992-012-9256-0MaRDI QIDQ742479zbMATHOpenAlexFDO

Authors Robert Goldblatt, Tomasz Kowalski

Publication date 18 September 2014

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-012-9256-0

zbMATH Keywords

anti-completenessKripke-incompletenessmaximally normal modal logicpost completenesspropositional constantweakly transitive frames

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) 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
• Finite model property of normal modal logics and constant formulas: an example
• Continuum many maximal consistent normal bimodal logics with inverses
• Some normal extensions of K4.3

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3499719 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1416396 (Why is no real title available?)
• scientific article; zbMATH DE number 5046360 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• An algebraic approach to subframe logics. Modal case
• An algebraic study of well-foundedness
• Boolean Algebras with Operators. Part I
• Continuum many maximal consistent normal bimodal logics with inverses
• Denumerably many Post-complete normal modal logics with propositional constants
• Intuitionistic logic and modality via topology
• Logics containing K4. Part I
• Monadic bounded algebras
• Post completeness in modal logic
• Propositional dynamic logic of looping and converse is elementarily decidable
• Semantic analysis of tense logics
• Semisimple varieties of modal algebras
• Some embedding theorems for modal logic
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Logics Containing S 4.3

Cited in

(7)

• Denumerably many Post-complete normal modal logics with propositional constants
• Continuum many maximal consistent normal bimodal logics with inverses
• A note on the issue of cohesiveness in canonical models
• Post complete and 0-axiomatizable modal logics
• Finite model property of normal modal logics and constant formulas: an example
• More on the Power of a Constant
• A unified semantics for a family of modal logics with propositional constants

This page was built for publication: The power of a propositional constant

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