All I know: A study in autoepistemic logic (Q2276949)

The author's aim is to approach nonmonotonicity via epistemic logic. The word ``autoepistemic'' hereby refers to the fact that the epistemic operators are allowed to appear within their own ranges. The epistemic part of the language contains the unary belief-operator B together with an additional (unary propositional) operator \b{O}, with \b{O}H meaning ``H is \textit{all} that is believed''; of course the background idea is to apply \b{O} essentially to finite sets of sentences (via their conjunction). In a natural way there is a possible worlds semantics such that the B- fragment corresponds to the modal logic weak S5 (i.e. K4.5). This extended epistemic logic the author introduces here is studied first in its own right, is then related to the autoepistemic logic of \textit{R. Moore} [Proc. IJCAI-83, Karlsruhe, 272-279 (1983; Zbl 0536.68074)] and the stable expansions, given a sound and, for the propositional part, complete axiomatization (which, yet, for the first-order case is not recursive), and is applied to some problems of nonmonotonicity.