Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

Christopher Hampson, Stanislav Kikot, Agi Kurucz +1

Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In partic…