The power of a propositional constant
DOI10.1007/S10992-012-9256-0zbMATH Open1341.03029OpenAlexW2023302852MaRDI QIDQ742479FDOQ742479
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
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
anti-completenessKripke-incompletenessmaximally normal modal logicpost completenesspropositional constantweakly transitive frames
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantic analysis of tense logics
- Boolean Algebras with Operators. Part I
- Denumerably many Post-complete normal modal logics with propositional constants
- Title not available (Why is that?)
- Propositional dynamic logic of looping and converse is elementarily decidable
- Title not available (Why is that?)
- That All Normal Extensions of S4.3 Have the Finite Model Property
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monadic bounded algebras
- An algebraic approach to subframe logics. Modal case
- Intuitionistic logic and modality via topology
- Title not available (Why is that?)
- Post completeness in modal logic
- Semisimple varieties of modal algebras
- Continuum many maximal consistent normal bimodal logics with inverses
- An algebraic study of well-foundedness
- Some embedding theorems for modal logic
- Title not available (Why is that?)
- Logics containing K4. Part I
- Title not available (Why is that?)
- The Logics Containing S 4.3
Cited In (7)
- A note on the issue of cohesiveness in canonical models
- A unified semantics for a family of modal logics with propositional constants
- Continuum many maximal consistent normal bimodal logics with inverses
- Denumerably many Post-complete normal modal logics with propositional constants
- More on the Power of a Constant
- Post complete and 0-axiomatizable modal logics
- Finite model property of normal modal logics and constant formulas: an example
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)
