Many-valued non-monotonic modal logics

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,442

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-06-23

Downloads
62 (#194,185)

6 months
4 (#185,521)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Free choice reasons.Daniel Bonevac - 2019 - Synthese 196 (2):735-760.
Bisimulations and Boolean Vectors.Melvin Fitting - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 97-125.
How True It Is = Who Says It’s True.Melvin Fitting - 2009 - Studia Logica 91 (3):335 - 366.
How True It Is = Who Says It’s True.Melvin Fitting - 2009 - Studia Logica 91 (3):335-366.

Add more citations

References found in this work

Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.

Add more references