scientific article; zbMATH DE number 1749200

MaRDI QIDQ4532201zbMATH OpenFDO

Authors J. F. Horty

Publication date 19 December 2002

zbMATH Keywords

circumscriptionnonmonotonic logicdefault logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Publication:4735175
• scientific article; zbMATH DE number 478394
• scientific article; zbMATH DE number 408769
• Nonmonotonic logics. Basic concepts, results, and techniques
• scientific article; zbMATH DE number 4110671

Cited in

(7)

• From systems to logic in the early development of nonmonotonic reasoning
• Nonmonotonic inference operations
• Nonmonotonicity in the framework of parametric logic
• What is a non-truth-functional logic?
• Counterpossibles and normal defaults in the filioque controversy
• Judgment aggregation in nonmonotonic logic
• Monotonic and non-monotonic embeddings of Anselm's proof

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