scientific article; zbMATH DE number 51460

MaRDI QIDQ4001850zbMATH OpenFDO

Authors Gerd Döben

Publication date 18 September 1992

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)

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

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)