scientific article; zbMATH DE number 1749200

MaRDI QIDQ4532201zbMATH OpenFDO

Authors J. F. Horty

Publication date 19 December 2002

zbMATH Keywords

circumscriptiondefault logicnonmonotonic logic

Mathematics Subject Classification ID

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

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)

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

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)