Modal logic for default reasoning

DOI10.1007/BF01531081zbMath0871.03009MaRDI QIDQ1356222

Miroslaw Truszczynski, Victor W. Marek

Publication date: 4 June 1997

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

zbMATH Keywords

modal logic; autoepistemic logic; default logic; semantics; nonmonotonic reasoning; iterative expansion; logic of necessitation

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

Related Items

Modal logic based theory for non-monotonic reasoning, Nonmonotonic reasoning based on incomplete logic, Evaluating the effect of semi-normality on the expressiveness of defaults, 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, Minimal knowledge problem: A new approach, Interpretations of open default theories in non-monotonic logics, Revision programming, Definability and commonsense reasoning, Modal nonmonotonic logics demodalized

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