Possible world semantics and autoepistemic reasoning

DOI10.1016/0004-3702(94)90046-9zbMath0820.68070OpenAlexW1991468089MaRDI QIDQ1343838

Liwu Li

Publication date: 27 August 1995

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)90046-9

zbMATH Keywords

modal logicKripke structureworld semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• A guide to completeness and complexity for modal logics of knowledge and belief
• All I know: A study in autoepistemic logic
• Nonmonotonic Logic II
• Autoepistemic logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi