The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines
Crossref DOI link: https://doi.org/10.1007/s11225-015-9647-7
Published Online: 2016-02-18
Published Print: 2016-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hampson, C.
Kikot, S.
Kurucz, A.