# Technical Report CS-2007-04

 TR#: CS-2007-04 Class: CS Title: Non-monotonic modal logic of belief Authors: Michael Kaminski and Michael Tiomkin PDF CS-2007-04.pdf Abstract: We propose an alternative non-monotonic modal formalism called {\em non-monotonic modal logic of belief}. It is based on replacing the classical fixpoint equation $\E = \Th_{\sS}(A \cup \{ M\varphi : \E \not\vdash_{\sS} \neg\varphi \})$ with the {\em belief} fixpoint equation $\E = \Th_{\sS} (A \cup \{ M\varphi : \E \not\vdash_{\sS} \neg M\varphi \})$. The solutions of the belief fixpoint equation, called {\em belief} S-expansions, are tightly related to the logic of belief KD45. We show interpretation of default logic in non-monotonic modal logic of belief and present minimal model semantics for belief expansions. Copyright The above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/2007/CS/CS-2007-04), rather than to the URL of the PDF or PS files directly. The latter URLs may change without notice.