scientific article; zbMATH DE number 3880106

MaRDI QIDQ3345772zbMATH OpenFDO

Authors Jerzy Tiuryn, Paweł Urzyczyn

Publication date 1984

zbMATH Keywords

nondeterminismdynamic logicprogramming logicsprogram scheme

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• scientific article; zbMATH DE number 3957062
• A nondeterministic program logic
• Equivalences among logics of programs

Cited in

(8)

• The comparison of the expressive power of first-order dynamic logics
• scientific article; zbMATH DE number 4049005 (Why is no real title available?)
• Limitations of the program memory and the expressive power of dynamic logics
• scientific article; zbMATH DE number 3995644 (Why is no real title available?)
• scientific article; zbMATH DE number 3846863 (Why is no real title available?)
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
• Equivalences among logics of programs
• On the expressive power of programming languages

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