Technical Report CS0487

TR#:CS0487
Class:CS
Title: Nonmonotonic Default Modal Logics
Authors: M. Tiomkin and M. Kaminski
PDFCS0487.pdf
Abstract: Conclusions by the failure to prove the opposite are frequently used in reasoning about incompletely specified world. This naturally leads to logics for default reasoning, which, in general, are nonmonotinic, i.e. introducing new axioms can invalidate old theorems. Accordingly, a set of axioms of a nonmonotonic theory is called (nonmonotonically) degenerating, if adding new axioms does not invalidate already proved theorems. We study nonmonotonic modal logics based on various sets of defaults and present a necessary and sufficient condition for a set of axioms of modal nomonotonic theory to be degenerating. Also we establish some closure properties of sets of defaults defining nonmonotonic modal logics.
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/1988/CS/CS0487), rather than to the URL of the PDF files directly. The latter URLs may change without notice.

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

Computer science department, Technion
admin