scientific article; zbMATH DE number 1499099

MaRDI QIDQ4501153zbMATHFDO

Authors M. V. Kuchuganov

Publication date 3 September 2000

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)

Recommendations

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

Cited in

(2)

• A lemma in the logic of action
• A reduction of doxastic logic to action 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 Q4501153)