Single Agent Autoepistemic Logic System
Dong Ying-dong · Journal of Bijie University · 2010
Moore's single agent autoepistemic logic system,including the foundation ideas of single agent autoepistemic logic,its language,stable theory and consistence of the system alongside with the prove of system S5 and its equivalence.we characterized Levesque's extention on Moore's system known as the single agent only knowing logic system and its semantic/syntactic theory,and offer an alternative semantics on the essentials of Levesque's system,simplified the proof of soundness and completeness of the altered system by applying alternative semantics.