Autoepistemic modal logics
Grigori F. Shvarts · 1990
A modM approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980-82. Almost immediately some disadvantages of that approach were pointed out. Robert Moore (1983) proposed his atltoepistemic logic, which overcomes these difficulties. Later, some authors (Kurt Konolige, Paul Morris and others) found peculiarities of different kinds in Moore's logic and proposed rather complicated solutions to these problems. A careful mathematical analysis of Moore's and McDermott's approaches shows that Moore's logic is merely a special case of McDermott's logic, at least formally. The problems that arose in Moore's logic may find a simple and uniform solution by going back to McDermott's original concept.