VDM specification for the tree-modification method of refutation

zbMATH Open0875.68636MaRDI QIDQ1817122FDOQ1817122

Authors: V. S. Protsenko, V. V. Yurchishin 

Publication date: 14 January 1997

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• VDM: Axiomatising its Propositional Logic
• The Method of Tree-Hypersequents for Modal Propositional Logic
• scientific article; zbMATH DE number 683356
• scientific article; zbMATH DE number 595218
• Rules and Refutation Rules for the Logic of Finite n-ary Trees
• Refutation systems in modal logic
• scientific article; zbMATH DE number 2024633
• Tree-like unit refutations in Horn constraint systems
• Hoare's logic and VDM

zbMATH Keywords

formal specificationVDMlogical inferences

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: VDM specification for the tree-modification method of refutation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817122)