scientific article; zbMATH DE number 868091

zbMath0843.03008MaRDI QIDQ4873974

Szabolcs Mikulás, Ildikó Sain, Istvan Németi

Publication date: 23 June 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items

Decidable and undecidable logics with a binary modality, Taming logic