Many-valued reflexive autoepistemic logic

Logic Journal of the IGPL 8 (1):33-54 (2000)
  Copy   BIBTEX

Abstract

In this paper, we contribute to a series of results on the family of many-valued modal logics which as been recently introduced by M. Fitting in [8, 9, 10, 12]. In this family, the underlying propositional logics employ finite Heyting algebras for the space of truth values and the monotonic modal logics correspond to possible-worlds models with many-valued accessibility relations. There exist also modal non-monotonic counterparts in the McDermott & Doyle fashion. In [10], M. Fitting provided a many-valued generalization of Moore's autoepistemic logic and proved that, for logics with linear truth spaces, the important theorem of G. Schwarz for the equivalence of K45 and autoepistemic logic from [31], extends to the many-valued case. Here, we define and investigate a many-valued generalization of Schwarz's reflexive autoepistemic logic from [28] with an intended interpretation of □ as 'true and known'. We prove several interesting properties of many-valued reflexive expansions and show that - under the same linearity restriction - Schwarz's relevant theorem extends also in the many-valued setting, i.e., our many-valued reflexive autoepistemic logic coincides with many-valued non-monotonic Sw5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
A Characteristic Model For Some Tabular Many-valued Logics.Marion Mircheva - 1986 - Bulletin of the Section of Logic 15 (4):159-161.

Analytics

Added to PP
2015-02-04

Downloads
4 (#1,426,706)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

No references found.

Add more references