scientific article; zbMATH DE number 1499099

zbMATH Open0947.03047MaRDI QIDQ4501153FDOQ4501153

Authors: M. V. Kuchuganov 

Publication date: 3 September 2000

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

Recommendations

• scientific article; zbMATH DE number 4089535
• Programs and logics
• scientific article; zbMATH DE number 1678381
• scientific article; zbMATH DE number 169729

zbMATH Keywords

compactnesspredicate logicconstructive logic of program schemesloop constructionwell-founded action

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (2)

• A reduction of doxastic logic to action logic
• A lemma in the logic of action

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