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

arrow logicsdecidabilityKleene starpropositional multi-modal logicsrelation algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) 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

(7)

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

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)