Skip to main content
Article thumbnail
Location of Repository

Many-Valued Non-Monotonic Modal Logics

By Melvin Fitting


Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operators allows flexibility in the embedding of other approaches. Also several theoretical results of interest have been established concerning these logics. In this paper we introduce non-monotonic modal logics based on many-valued logics, rather than on classical logic. This extends earlier work of ours on many-valued modal logics. Intended applications are to situations involving several reasoners, not just one as in the standard development. 1 Introduction Several kinds of non-monotonic logics have been considered over the past dozen years. Among these, non-monotonic modal logics have been particularly interesting. These, of course, have explicitly occurring modal operators, and this allows for fine control when translating from other formalisms; see [13, 5], for instance. Following the ideas of McDermott and Do..

Year: 1992
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.