TY  - RPRT
TI  - The decision problem of modal product logics with a diagonal, and faulty counter machines
AU  - Christopher Hampson
AU  - Stanislav Kikot
AU  - Agi Kurucz
PY  - 2015
DO  - 10.1007/s11225-015-9647-7
UR  - https://arxiv.org/abs/1509.02060
ID  - 1509.02060
ER  -