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

Agi Kurucz

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 axiomatisabl…