×

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

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
PDF BibTeX XML Cite
Full Text: arXiv