scientific article; zbMATH DE number 868091

zbMATH Open0843.03008MaRDI QIDQ4873974FDOQ4873974

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

Publication date: 23 June 1996

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (5)

• Computing with cylindric modal logics and arrow logics, lower bounds
• Arrow Decision Logic for Relational Information Systems
• Title not available (Why is that?)
• 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)