scientific article; zbMATH DE number 868091

MaRDI QIDQ4873974zbMATH OpenFDO

Authors Szabolcs Mikulás, István Németi, Ildikó Sain

Publication date 23 June 1996

zbMATH Keywords

decidabilityrelation algebrasKleene stararrow logicspropositional multi-modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 1047504
• scientific article; zbMATH DE number 1047506
• Arrow logic and infinite counting
• scientific article; zbMATH DE number 1047503

Cited in

(5)

• Computing with cylindric modal logics and arrow logics, lower bounds
• Arrow Decision Logic for Relational Information Systems
• scientific article; zbMATH DE number 887303 (Why is no real title available?)
• Taming logic
• Decidable and undecidable logics with a binary modality

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 Q4873974)