. Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and completeness are established. 1 Introduction The logics that have appeared in artificial intelligence form a rich and varied collection. While classical (and maybe intuitionistic) logic su#ces for the formal development of mathematics, artificial intelligence has found uses for modal, temporal, relevant, and many-valued logics, among others. Indeed, I take it as a basic principle that an application should find (or create) an appropriate logic, if it needs one, rather than reshape the application to fit some narrow class of `established' logics. In this paper I want to enlarge the variety of logics...

Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever A says it is). Suppose, further, that each of the experts has his or her own view of what is possible --- in other words each of the experts has their own Kripke model in mind (subject, of course, to the dominance relation that may hold between experts). How will they assign truth values to sentences in a common modal language, and on what sentences will they agree? This problem can be reformulated as one about many-valued Kripke models, allowing many-valued accessibility relations. This is a natural generalization of conventional Kripke models that has only recently been looked at. The equivalence between the many-valued version and the multiple expert one will be formally established. Finally we will axiomatize many-valued modal logics, and sketch a proof of completeness.

In this paper, we would like to present some logics with semantics based on rough set theory and related notions. These logics are mainly divided into two classes. One is the class of modal logics and the other is that of quantifier logics. For the former, the approximation space is based on a set of possible worlds, whereas in the latter, we consider the set of variable assignments as the universe of approximation. In addition to surveying some well-known results about the links between logics and rough set notions, we also develop some new applied logics inspired by rough set theory.

We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing literature with respect to this framework.

This article deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated in the residuated lattice (and so defining the minimum modal logic), the ones only evaluated in the idempotent elements and the ones evaluated in 0 and 1. We show how to expand an axiomatization, with canonical truth-constants in the language, of a finite residuated lattice into one of the modal logic, for each one of the three basic classes of Kripke frames. We also provide axiomatizations for the case of a finite MV chain but this time without canonical truth-constants in the language.

Logical approaches to fuzzy similarity-based

This article deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated in the residuated lattice (and so defining the minimum modal logic), the ones evaluated in the idempotent elements and the ones evaluated in 0 and 1. We show how to expand an axiomatization, with canonical truth-constants in the language, of a finite residuated lattice into one of the modal logic, for each one of the three basic classes of Kripke frames. We also provide axiomatizations for the case of a finite MV chain but this time without canonical truth-constants in the language. Keywords: Many-valued modal logic, modal logic, many-valued logic, fuzzy logic, substructural logic. 1