The power of a propositional constant
From MaRDI portal
Publication:742479
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
anti-completenessKripke-incompletenessmaximally normal modal logicpost completenesspropositional constantweakly transitive frames
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