scientific article; zbMATH DE number 3878348

MaRDI QIDQ3343429zbMATH OpenFDO

Authors Jan Reiterman, Věra Trnková

Publication date 1984

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)

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

Cited in

(8)

• Dynamic algebras which are not Kripke structures
• Dynamic algebras with test
• Dynamic algebras: Examples, constructions, applications
• Congruences on Dynamic Algebras
• scientific article; zbMATH DE number 3848599 (Why is no real title available?)
• A unifying theorem for algebraic semantics and dynamic logics
• Separable Kripke structures are algebraically universal
• The structure of separable Dynkin algebras

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)