Dynamic algebras which are not Kripke structures

DOI10.1007/BFB0022530MaRDI QIDQ3897034zbMATH OpenOpenAlexFDO

Authors Jan Reiterman, Věra Trnková

Publication date 1980

Published in Mathematical Foundations of Computer Science 1980 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0022530

zbMATH Keywords

dynamic algebraKripke structurespropositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Other algebras related to logic (03G25) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• On dynamic algebras
• Monadic dynamic algebras
• Separability and decidability results for varieties of Jónsson dynamic algebras
• On models for propositional dynamic logic
• scientific article; zbMATH DE number 3878348

Cited in

(9)

• Strong completeness and limited canonicity for PDL
• Dynamic algebras with test
• Dynamic algebras: Examples, constructions, applications
• Dynamic negation, the one and only
• Some results in dynamic model theory
• scientific article; zbMATH DE number 436445 (Why is no real title available?)
• Congruences on Dynamic Algebras
• scientific article; zbMATH DE number 2236681 (Why is no real title available?)
• Separable Kripke structures are algebraically universal

This page was built for publication: Dynamic algebras which are not Kripke structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3897034)