Technical Report CS-2007-04

TR#:CS-2007-04
Class:CS
Title: Non-monotonic modal logic of belief
Authors: Michael Kaminski and Michael Tiomkin
PDFCS-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.

CopyrightThe 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.

To the list of the CS technical reports of 2007
To the main CS technical reports page

Computer science department, Technion