scientific article; zbMATH DE number 1047504

MaRDI QIDQ4349281zbMATH OpenFDO

Authors Agnes Kurucz, István Németi, Ildikó Sain, András Simon, Hajnal Andréka

Publication date 5 November 1997

zbMATH Keywords

action logicsassociativity of modal operatordecidabilityLambek Calculuslattice of arrow logicsmulti-modal logicsundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 1047505
• scientific article; zbMATH DE number 868091
• Undecidability of multi-modal hybrid logics

Cited in

(6)

• Combining word problems through rewriting in categories with products
• The undecidability of arbitrary arrow update logic
• scientific article; zbMATH DE number 1047505 (Why is no real title available?)
• scientific article; zbMATH DE number 868091 (Why is no real title available?)
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• An algebraic glimpse at bunched implications and separation logic

This page was built for publication:

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