Modal logic for default reasoning

DOI10.1007/BF01531081zbMath0871.03009OpenAlexW1966761138MaRDI QIDQ1356222

Victor W. Marek, Miroslaw Truszczynski

Publication date: 4 June 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01531081

zbMATH Keywords

modal logicautoepistemic logicdefault logicsemanticsnonmonotonic reasoningiterative expansionlogic of necessitation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (12)

Minimal knowledge problem: A new approach ⋮ Modal logic based theory for non-monotonic reasoning ⋮ Interpretations of open default theories in non-monotonic logics ⋮ Modal nonmonotonic logics demodalized ⋮ Revision programming ⋮ On embedding default logic into Moore's autoepistemic logic ⋮ Definability and commonsense reasoning ⋮ Nonmonotonic reasoning based on incomplete logic ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ A logic of knowledge and justified assumption ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults

Cites Work

• 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
• Non-monotonic logic. I
• Nonmonotonic Logic II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal logic for default reasoning