scientific article; zbMATH DE number 4128794

zbMATH Open0689.03014MaRDI QIDQ4207888

Ewa Orłowska

Publication date: 1989

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

zbMATH Keywords

relational calculusprogram logicextension of propositional dynamic logicprogram specificationsrelational expressionsleft residualright residual

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Constructive dynamic logic of relation changers 👍 👎
• From relational specifications to logic programs 👍 👎
• Dynamic Contextual Intensional Logic: Logical Foundations and an Application 👍 👎
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS 👍 👎
• Dynamic logic with program specifications and its relational proof system 👍 👎
• Relational Differential Dynamic Logic 👍 👎
• Relational Logics and Their Applications 👍 👎

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