Post complete and 0-axiomatizable modal logics
From MaRDI portal
Publication:920977
DOI10.1016/0168-0072(90)90066-BzbMath0709.03016MaRDI QIDQ920977
Publication date: 1990
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
modal logicfree algebrasnormal modal logicsmodal algebrasPost completePost complete extensionsPost number
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Free algebras (08B20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Topology and duality in modal logic
- The lattice of varieties of modal algebras is not strongly atomic
- A Test to Determine Distinct Modalities in the Extensions of S4
- Finite and finitely separable intermediate propositional logics
- The lattice of modal logics: an algebraic investigation
- Post Completeness and Free Algebras
- Post Completeness and Ultrafilters
- The truth about some Post numbers
- Finitely generated free Heyting algebras
- Logics containing K4. Part I
- ATOMS IN MODAL ALGEBRAS
- Post completeness in modal logic
This page was built for publication: Post complete and 0-axiomatizable modal logics