Modal logic based theory for non-monotonic reasoning

DOI10.1080/11663081.1993.10510796zbMATH Open0788.03034OpenAlexW2088820837MaRDI QIDQ4275697FDOQ4275697

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

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

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)

Cites Work

• A logic for default reasoning
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic
• Circumscription - a form of non-monotonic reasoning
• On the relation between default and autoepistemic logic
• Nonmonotonic Logic II
• Title not available (Why is that?)
• Modal logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalizing nonmonotonic reasoning systems

Cited In (9)

• A Minimal Model Semantics for Nonmonotonic Reasoning
• Embedding modal nonmonotonic logics into default logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• The Pure Logic of Necessitation
• Multi-modal nonmonotonic logics of minimal knowledge
• Non-cumulative reasoning: rules and models
• A logic of non-monotonic interactions
• Title not available (Why is that?)
• 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)