The phrase ‘autoepistemic logic’ was introduced in Moore [1985] to refer to a study inspired in large part by criticisms in Stalnaker [1980] of a particular nonmonotonic logic proposed by McDermott and Doyle.1 Very informative discussions for those who have not encountered this area are provided by Moore [1988] and the wide-ranging survey article Konolige [1994], and the scant remarks in the present introductory section do not pretend to serve in place of those treatments as summaries of the field. A (...) good deal of the material omitted here pertains to the specifically nonmonotonic nature of autoepistemic logic as standardly developed, but as we shall urge, there is from one point of view nothing distinctively nonmonotonic about the basic motivating ideas of the subject. (shrink)

S4.2 is the modal logic of directed partial pre-orders and/or the modal logic of reflexive and transitive relational frames with a final cluster. It holds a distinguished position in philosophical...

We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the single-agent case, based on the notion of interpretation, to the multi-agent case. Then we show that, thanks to the shape of our new semantics, all the results of the AGM framework transfer. Afterwards we investigate some postulates that are specific to our multi-agent setting. Finally, we give an example of revision operator that fulfills one of these new postulates and give (...) an example of revision on a concrete example. (shrink)