Bimodal logics with a ``weakly connected component without the finite model property

DOI10.1215/00294527-3870247zbMath1417.03158arXiv1502.05834OpenAlexW1480389067MaRDI QIDQ2364656

Agi Kurucz

Publication date: 21 July 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

linear ordersfinite model propertymultimodal logic

Mathematics Subject Classification ID

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

This page was built for publication: Bimodal logics with a ``weakly connected component without the finite model property