The bimodal logic of commuting difference operators is decidable

MaRDI QIDQ5224573zbMATH OpenFDO

Authors Christopher Hampson

Publication date 24 July 2019

zbMATH Keywords

commutatordecidabledifference operatorfmpproduct logictwo-dimensional modal logics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1285767
• Bimodal logics with a ``weakly connected component without the finite model property
• Decidable and undecidable logics with a binary modality
• scientific article; zbMATH DE number 1156787
• scientific article; zbMATH DE number 1612551

Cited in

(1)

• scientific article; zbMATH DE number 1285767 (Why is no real title available?)

This page was built for publication: The bimodal logic of commuting difference operators is decidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224573)