scientific article; zbMATH DE number 3848599

MaRDI QIDQ3318100zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 1983

zbMATH Keywords

dynamic algebrasdynamic logicfiltration theoremiterationprogramming algebras

Mathematics Subject Classification ID

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

Recommendations

• Dynamic algebras with test
• scientific article; zbMATH DE number 3878348
• An algebraic look at filtrations in modal logic
• Filtration safe operations on frames
• A Structure Theorem for Free Temporal Algebras

Cited in

(4)

• Dynamic algebras with test
• scientific article; zbMATH DE number 3878348 (Why is no real title available?)
• Algebraic Semantics for Dynamic Dynamic Logic
• An essay in combinatory dynamic logic

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