The power of a propositional constant

DOI10.1007/S10992-012-9256-0zbMath1341.03029OpenAlexW2023302852MaRDI QIDQ742479

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

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

A note on the issue of cohesiveness in canonical models ⋮ More on the Power of a Constant ⋮ A unified semantics for a family of modal logics with propositional constants

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to subframe logics. Modal case
• Intuitionistic logic and modality via topology
• Denumerably many Post-complete normal modal logics with propositional constants
• Monadic bounded algebras
• An algebraic study of well-foundedness
• Semisimple varieties of modal algebras
• Some embedding theorems for modal logic
• Propositional dynamic logic of looping and converse is elementarily decidable
• Logics containing K4. Part I
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Logics Containing S 4.3
• Semantic analysis of tense logics
• Post completeness in modal logic
• Boolean Algebras with Operators. Part I
• Continuum many maximal consistent normal bimodal logics with inverses

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