Many-Valued Reflexive Autoepistemic Logic

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...