Modal logic S4F and the minimal knowledge paradigm
Grigori F. Schwarz, Mirosław Truszczyński · 1992
In this paper, we propose a new semantic model and the corresponding syntactic characterization for autoepistemic reasoning. In contrast with the well-known work of Moore [Moo85], who proposed an autoepistemic logic of self-belief, our goal is to propose an autoepistemic logic of self-knowledge.