Diagnostic propositional formulas
type: Item
instance of: scholarly article
title: Diagnostic propositional formulas
zbMATH Open document ID: 0784.03010
published in: Moscow University Mathematics Bulletin
publication date: 1992-06-26T00:00:00Z
review text: See the review in Zbl 0745.03008.
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 20628
zbMATH Keywords: propositional logic
zbMATH Keywords: diagnostic formula
zbMATH Keywords: derivability
author: V. A. Uspenskiĭ
author: Valery Plisko
MaRDI profile type: Publication
Recommended article: Q3363725
Recommended article: Diagnostic reasoning with A-Prolog
Recommended article: Q4549880
Recommended article: A formal model of diagnostic inference. I. Problem formulation and decomposition
Recommended article: Diagnostic conditionalization
Recommended article: Model-based diagnosis and conditional logic
Recommended article: Design and implementation of diagnostic strategies using modal logic
Recommended article: A formal model of diagnostic inference. II. Algorithmic solution and application
Recommended article: On logics having diagnostic formulas relative to minimal calculus
description: scientific article; zbMATH DE number 20628