Modal logic based theory for non-monotonic reasoning

DOI10.1080/11663081.1993.10510796MaRDI QIDQ4275697zbMATH OpenOpenAlexFDO

Authors Pierre Siegel, Camilla Schwind

Publication date 5 June 1994

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1993.10510796

zbMATH Keywords

modal logicnonmonotonic logicnecessity operatorhypothesis theoryReiter default logicweak possibility operator

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 611095
• Modal logic for default reasoning
• scientific article; zbMATH DE number 989172
• Modal nonmonotonic logics demodalized
• scientific article; zbMATH DE number 877745

Cites work

• scientific article; zbMATH DE number 4158606 (Why is no real title available?)
• scientific article; zbMATH DE number 4089520 (Why is no real title available?)
• scientific article; zbMATH DE number 67492 (Why is no real title available?)
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Formalizing nonmonotonic reasoning systems
• Modal logic for default reasoning
• Nonmonotonic Logic II
• On the relation between default and autoepistemic logic
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic

Cited in

(9)

• A Minimal Model Semantics for Nonmonotonic Reasoning
• Embedding modal nonmonotonic logics into default logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• Multi-modal nonmonotonic logics of minimal knowledge
• The Pure Logic of Necessitation
• Non-cumulative reasoning: rules and models
• A logic of non-monotonic interactions
• scientific article; zbMATH DE number 611095 (Why is no real title available?)
• Graded hypothesis theories

This page was built for publication: Modal logic based theory for non-monotonic reasoning

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