Some open questions in the theory of program schemes and dynamic logics

DOI10.1070/RM1989V044N01ABEH002007MaRDI QIDQ3835003zbMATH OpenOpenAlexFDO

Authors

Publication date 1989

Published in Russian Mathematical Surveys (Search for Journal in Brave)

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

zbMATH Keywords

dynamic logicprogram schemesprogram transformationprogram verification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The comparison of the expressive power of first-order dynamic logics
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• scientific article; zbMATH DE number 1556014
• scientific article; zbMATH DE number 4154413
• scientific article; zbMATH DE number 4101151

Cited in

(12)

• Concurrent program schemes and their logics
• Some relationships between logics of programs and complexity theory
• On the expressive power of finitely typed and universally polymorphic recursive procedures
• An infinite pebble game and applications
• Counter machines
• Program schemata technique for propositional program logics: a 30-year history
• scientific article; zbMATH DE number 2084323 (Why is no real title available?)
• scientific article; zbMATH DE number 4154413 (Why is no real title available?)
• Positive program logics in systems with arithmetic
• scientific article; zbMATH DE number 3985194 (Why is no real title available?)
• scientific article; zbMATH DE number 4112562 (Why is no real title available?)
• scientific article; zbMATH DE number 1975420 (Why is no real title available?)

This page was built for publication: Some open questions in the theory of program schemes and dynamic logics

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