scientific article; zbMATH DE number 3878348

zbMATH Open0551.68030MaRDI QIDQ3343429FDOQ3343429

Authors: Jan Reiterman, Věra Trnková 

Publication date: 1984

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

Recommendations

• Dynamic algebras with test
• scientific article; zbMATH DE number 3848599
• On the Representation of Kleene Algebras with Tests
• scientific article; zbMATH DE number 1223627
• On dynamic algebras
• On the coalgebraic theory of Kleene algebra with tests
• scientific article; zbMATH DE number 3986619
• scientific article; zbMATH DE number 475236
• Dynamic algebras: Examples, constructions, applications
• Mathematics of Program Construction

zbMATH Keywords

equational classespropositional dynamic logictest algebrasdynamic algebrasKripke test structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Abstract data types; algebraic specification (68Q65)

Cited In (8)

• Dynamic algebras with test
• Congruences on Dynamic Algebras
• Dynamic algebras: Examples, constructions, applications
• Title not available (Why is that?)
• A unifying theorem for algebraic semantics and dynamic logics
• Separable Kripke structures are algebraically universal
• The structure of separable Dynkin algebras
• Dynamic algebras which are not Kripke structures

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