The decision problem of modal product logics with a diagonal, and faulty counter machines

Christopher Hampson, Stanislav Kikot, Agi Kurucz

In the propositional modal (and algebraic) treatment of two-variable first-order logic equality is modelled by a `diagonal' constant, interpreted in square products of universal fr…