Many-Valued Non-Monotonic Modal Logics

11 years 9 months ago
Many-Valued Non-Monotonic Modal Logics
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.
Melvin Fitting
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where LFCS
Authors Melvin Fitting
Comments (0)