scientific article; zbMATH DE number 51460

zbMATH Open0753.03006MaRDI QIDQ4001850FDOQ4001850

Authors: Gerd Döben 

Publication date: 18 September 1992

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

Recommendations

• A uniform tableaux method for nonmonotonic modal logics
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• scientific article; zbMATH DE number 589742
• scientific article; zbMATH DE number 2042611
• scientific article; zbMATH DE number 1395652

zbMATH Keywords

tableau calculusdecision problemreduction classessemantical criteria for non-theorems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

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