Definability and commonsense reasoning

DOI10.1016/S0004-3702(96)00049-5MaRDI QIDQ1402721zbMATH OpenFDO

Authors Luigia Carlucci Aiello, Fiora Pirri, Giambattista Amati

Publication date 28 August 2003

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/39057

zbMATH Keywords

Fixed pointsCommonsense reasoningContextual reasoningDefault logicDefinabilityLogic of provabilitySelf-reference

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4068338
• scientific article; zbMATH DE number 4049142
• scientific article; zbMATH DE number 935033
• scientific article; zbMATH DE number 67491
• Commonsense as motion. The dynamics of reasoning with partial information

Cites work

• scientific article; zbMATH DE number 67492 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 664031 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 877745 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• A logic for default reasoning
• All I know: A study in autoepistemic logic
• Circumscription - a form of non-monotonic reasoning
• Circumscription and implicit definability
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• Intuitionistic autoepistemic logic
• Languages in which self reference is possible
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Languages with self-reference. II: Knowledge, belief, and modality
• Minimal knowledge problem: A new approach
• Modal logic for default reasoning
• Modal nonmonotonic logics
• Modal provability foundations for negation by failure
• Non-monotonic logic. I
• Nonmonotonic Logic II
• On the relation between default and autoepistemic logic
• Proof methods for modal and intuitionistic logics
• Provability interpretations of modal logic
• Quantified modal logic and self-reference
• Self-reference and modal logic
• Semantical considerations on nonmonotonic logic
• State Constraints Revisited
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• The predicate modal logic of provability

Cited in

(3)

• Definable deduction relation
• Circumscription and implicit definability
• scientific article; zbMATH DE number 1735628 (Why is no real title available?)

This page was built for publication: Definability and commonsense reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1402721)