Topological product of modal logics with the McKinsey axiom

DOI10.1134/S1064562424701825MaRDI QIDQ6545174zbMATH OpenFDO

Authors A. V. Kudinov

Publication date 29 May 2024

Published in Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

modal logictopological semanticsproduct of modal logicsMcKinsey axiom

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Algebraic logic (03Gxx)

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• Handbook of Spatial Logics
• Many-dimensional modal logics: theory and applications
• Modal logic of some products of neighborhood frames
• Modal logics of Stone spaces
• Modal logics of metric spaces
• Multimodal logics of products of topologies
• On neighbourhood product of some Horn axiomatizable logics
• Some results on modal axiomatization and definability for topological spaces
• The McKinsey axiom is not canonical

This page was built for publication: Topological product of modal logics with the McKinsey axiom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545174)