The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines

Christopher Hampson, Stanislav Kikot, Ágnes Kurucz. The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines. Studia Logica, 104(3):455-486, 2016. [doi]

Abstract

Abstract is missing.