ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS

DOI10.1070/SM1986V053N02ABEH002929MaRDI QIDQ3732958zbMATH OpenFDO

Authors

Publication date 1986

Published in Mathematics of the USSR-Sbornik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/SM1986V053N02ABEH002929

zbMATH Keywords

comparison of various logics of programscontext-free programsdynamic logicnondeterminismregular programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• The comparison of the expressive power of first-order dynamic logics
• scientific article; zbMATH DE number 4179344
• Complexity and expressivity of propositional dynamic logics with finitely many variables
• On the Completeness of Dynamic Logic
• scientific article; zbMATH DE number 5230436
• A completeness theorem for dynamic logic
• Decidability and expressivity of Ockhamist propositional dynamic logics
• scientific article; zbMATH DE number 7713505
• On static logics, dynamic logics, and complexity classes
• On models for propositional dynamic logic

Cited in

(22)

• A nondeterministic program logic
• Limitations of the program memory and the expressive power of dynamic logics
• scientific article; zbMATH DE number 3858392 (Why is no real title available?)
• scientific article; zbMATH DE number 3859091 (Why is no real title available?)
• scientific article; zbMATH DE number 3868597 (Why is no real title available?)
• scientific article; zbMATH DE number 3880106 (Why is no real title available?)
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
• Positive program logics in systems with arithmetic
• On static logics, dynamic logics, and complexity classes
• scientific article; zbMATH DE number 3957062 (Why is no real title available?)
• scientific article; zbMATH DE number 4021106 (Why is no real title available?)
• Some open questions in the theory of program schemes and dynamic logics
• scientific article; zbMATH DE number 4112562 (Why is no real title available?)
• scientific article; zbMATH DE number 4128794 (Why is no real title available?)
• Complexity and expressivity of propositional dynamic logics with finitely many variables
• scientific article; zbMATH DE number 5230436 (Why is no real title available?)
• Dynamic extensions of arrow logic
• scientific article; zbMATH DE number 7713505 (Why is no real title available?)
• Dynamic logic assigned to automata
• The comparison of the expressive power of first-order dynamic logics
• Equivalences among logics of programs
• Dynamic doxastic logic: why, how, and where to?

This page was built for publication: ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS

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