On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences

Abstract

In a previous paper by Bou et al., the minimal modal logic over a finite residuated lattice with a necessity operator was characterized under different semantics. In the general context of a residuated lattice, the residual negation ¬ is not necessarily involutive, and hence a corresponding possibility operator cannot be introduced by duality. In the first part of this paper we address the problem of extending such a minimal modal logic with a suitable possibility operator Q. In the second part of the paper, we introduce suitable axiomatic extensions of the resulting bimodal logic and define a logic to reason about fuzzy preferences, generalising to the many-valued case a basic preference modal logic considered by van Benthem et al. © Springer International Publishing AG 2018