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

DOI10.1215/00294527-3870247zbMATH Open1417.03158arXiv1502.05834OpenAlexW1480389067MaRDI QIDQ2364656FDOQ2364656

Agi Kurucz

Publication date: 21 July 2017

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

Abstract: There are two known general results on the finite model property (fmp) of commutators [L,L'] (bimodal logics with commuting and confluent modalities). If L is finitely axiomatisable by modal formulas having universal Horn first-order correspondents, then both [L,K] and [L,S5] are determined by classes of frames that admit filtration, and so have the fmp. On the negative side, if both L and L' are determined by transitive frames and have frames of arbitrarily large depth, then [L,L'] does not have the fmp. In this paper we show that commutators with a `weakly connected' component often lack the fmp. Our results imply that the above positive result does not generalise to universally axiomatisable component logics, and even commutators without `transitive' components such as [K.3,K] can lack the fmp. We also generalise the above negative result to cases where one of the component logics has frames of depth one only, such as [S4.3,S5] and the decidable product logic S4.3xS5. We also show cases when already half of commutativity is enough to force infinite frames.

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

Recommendations

• Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae
• On Finite Model Property for Admissible Rules
• scientific article; zbMATH DE number 218547
• A Sufficient Condition for the Finite Model Property of Modal Logics above K4
• Finite models of some substructural logics

zbMATH Keywords

linear ordersmultimodal logicfinite model property

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364656)