Modal logic of some products of neighborhood frames. (English) Zbl 1291.03035

Kudinov, Andrey

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 386-394 (2012).

Summary: We consider modal logics of products of neighborhood frames and prove that for any pair \(\mathsf{L}\) and \(\mathsf{L}'\) of logics from set \(\{\mathsf{S4}, \mathsf{D4}, \mathsf{D},\mathsf{T}\}\) modal logic of products of \(\mathsf{L}\)-neighborhood frames and \(\mathsf{L}'\)-neighborhood frames is the fusion of \(\mathsf{L}\) and \(\mathsf{L}'\).
For the entire collection see [Zbl 1262.03005].

MSC:

03B45	Modal logic (including the logic of norms)
03B62	Combined logics

Keywords:

modal logic; products of neighborhood frames; topological semantics; fusion of logics