There are two known general results on the finite model property (fmp) of commutators [L0, L1] (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 L0 and L...

Weakly electric fish generates electric field around its body using electric organ discharge and can accurately detect the location of an object using the modulation of electric field induced by an object. Objects with electric properties different from those of the surrounding water distort the electric field around fish’s body depending on the size, distance and electric properties of objects...