Post complete and 0-axiomatizable modal logics

DOI10.1016/0168-0072(90)90066-BzbMath0709.03016MaRDI QIDQ920977

Fabio Bellissima

Publication date: 1990

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicfree algebrasnormal modal logicsmodal algebrasPost completePost complete extensionsPost number

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Free algebras (08B20)

Related Items (1)

On pretabular logics in NExtK4. I

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