On neighbourhood product of some Horn axiomatizable logics

DOI10.1093/JIGPAL/JZY004zbMATH Open1492.03008arXiv1609.03232OpenAlexW2962909016MaRDI QIDQ5095641FDOQ5095641

Authors: A. V. Kudinov 

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: We consider modal logics of products of neighborhood frames. We define n-product of modal logics as the logic of all products of neighborhood frames of corresponding logics and find n-product of any two pretransitive Horn axiomatizable logics. As a corrolary we find the d-logic of products of topological spaces for some classes of topological spaces.

Full work available at URL: https://arxiv.org/abs/1609.03232

Recommendations

• Modal logic of some products of neighborhood frames
• Topological-frame products of modal logics
• Multimodal logics of products of topologies
• Products of modal logics, part 1
• Products of modal logics. III. Products of modal and temporal logics

zbMATH Keywords

topological semanticsproduct of modal logicsHorn sentencesneighbourhood semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (3)

• Modal logic of some products of neighborhood frames
• Axiomatizing hybrid products of monotone neighborhood frames
• Topological product of modal logics with the McKinsey axiom

This page was built for publication: On neighbourhood product of some Horn axiomatizable logics

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