scientific article; zbMATH DE number 4181309

zbMATH Open0717.03007MaRDI QIDQ3204444FDOQ3204444

Authors: Fangmin Song 

Publication date: 1990

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

Recommendations

• Dynamic logic with program specifications and its relational proof system
• scientific article; zbMATH DE number 4197948
• scientific article
• scientific article
• scientific article; zbMATH DE number 1678381

zbMATH Keywords

equivalencepropositional dynamic logicterminationcorrectness of programslogical system for relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (13)

• The Relationlog system prototype
• Relativized hyperequivalence of logic programs for modular programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reflective programming in the relational algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational programming laws in the tree, list, bag, set hierarchy
• Title not available (Why is that?)
• Relational decomposition
• Title not available (Why is that?)
• 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 Q3204444)