Quantcast

On neighborhood product of some Horn axiomatizable logics

Research paper by Andrey Kudinov

Indexed on: 11 Sep '16Published on: 11 Sep '16Published in: arXiv - Mathematics - Logic



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.