Definability and commonsense reasoning

DOI10.1016/S0004-3702(96)00049-5zbMath1017.68538MaRDI QIDQ1402721

Fiora Pirri, Luigia Carlucci Aiello, 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

Self-referenceCommonsense reasoningFixed pointsDefault logicContextual reasoningDefinabilityLogic of provability

Mathematics Subject Classification ID

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

Related Items (1)

Definable deduction relation

Cites Work

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

This page was built for publication: Definability and commonsense reasoning