Modal logic based theory for non-monotonic reasoning

DOI10.1080/11663081.1993.10510796zbMath0788.03034OpenAlexW2088820837MaRDI QIDQ4275697

Pierre Siegel, Camilla B. 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

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

Related Items (1)

Graded hypothesis theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic
• Formalizing nonmonotonic reasoning systems
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Modal logic for default reasoning
• Nonmonotonic Logic II

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