scientific article; zbMATH DE number 3880106

zbMATH Open0552.68038MaRDI QIDQ3345772FDOQ3345772

Authors: Jerzy Tiuryn, Paweł Urzyczyn 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The comparison of the expressive power of first-order dynamic logics
• Limitations of the program memory and the expressive power of dynamic logics
• On the expressive power of programming languages
• Title not available (Why is that?)
• Equivalences among logics of programs
• Definability by deterministic and non-deterministic programs (with applications to first-order 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 Q3345772)