Topological product of modal logics with the McKinsey axiom

DOI10.1134/S1064562424701825MaRDI QIDQ6545174FDOQ6545174

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

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

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)