scientific article; zbMATH DE number 4112562

MaRDI QIDQ3835442zbMATH OpenFDO

Authors I. Kh. Musikaev, Michael A. Taitslin

Publication date 1989

Full work available at URL https://eudml.org/doc/72048

zbMATH Keywords

expressive power of dynamic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• The comparison of the expressive power of first-order dynamic logics
• Limitations of the program memory and the expressive power of dynamic logics
• Some open questions in the theory of program schemes and dynamic logics
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• On dynamic algebras

Cited in

(8)

• Dynamic algebras: Examples, constructions, applications
• On dynamic algebras
• A unifying theorem for algebraic semantics and dynamic logics
• Some results in dynamic model theory
• A free construction of dynamic terms
• scientific article; zbMATH DE number 4179344 (Why is no real title available?)
• On static logics, dynamic logics, and complexity classes
• scientific article; zbMATH DE number 1953887 (Why is no real title available?)

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