Multi-valued autoepistemic logic

DOI10.1007/BF02127746zbMath0888.03012OpenAlexW2044621728MaRDI QIDQ1380408

Robert F. Stärk

Publication date: 4 March 1998

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

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

zbMATH Keywords

sequent calculusdecision procedureadmissible belief interpretationsmaximal multi-valued Kripke modelsmulti-valued autoepistemic logicstratified theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Three-valued nonmonotonic formalisms and semantics of logic programs
• All I know: A study in autoepistemic logic
• Systematization of finite many-valued logics through the method of tableaux
• Bilattices and Modal Operators
• Complexity Results for Nonmonotonic Logics
• The defining power of stratified and hierarchical logic programs

This page was built for publication: Multi-valued autoepistemic logic