On neighbourhood product of some Horn axiomatizable logics

DOI10.1093/JIGPAL/JZY004MaRDI QIDQ5095641zbMATH OpenOpenAlexFDO

Authors A. V. Kudinov

Publication date 10 August 2022

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

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

zbMATH Keywords

topological semanticsproduct of modal logicsHorn sentencesneighbourhood semantics

Mathematics Subject Classification ID

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

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.

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

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)