Diagnostic propositional formulas

MaRDI QIDQ1177504zbMATH OpenFDO

Authors V. A. Uspenskiĭ, Valery Plisko

Publication date 26 June 1992

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

propositional logicderivabilitydiagnostic formula

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 4216525
• Diagnostic reasoning with A-Prolog
• scientific article; zbMATH DE number 1790855
• A formal model of diagnostic inference. I. Problem formulation and decomposition
• Diagnostic conditionalization
• Model-based diagnosis and conditional logic
• Design and implementation of diagnostic strategies using modal logic
• A formal model of diagnostic inference. II. Algorithmic solution and application
• On logics having diagnostic formulas relative to minimal calculus

Cited in

(2)

• Diagnostic reasoning with A-Prolog
• scientific article; zbMATH DE number 4216525 (Why is no real title available?)

This page was built for publication: Diagnostic propositional formulas

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