Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic

Félix Bou; Francesc Esteva; Lluís Godo; Ricardo Oscar Rodriguez

doi:10.1007/978-3-319-40581-0_11

paper

Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic

arXiv:1611.04444 · doi:10.1007/978-3-319-40581-0_11

Abstract

In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames $⟨ W, π ⟩$ , where $W$ is a non-empty set of worlds and $π : W ⟶ [0, 1]$ is a normalized possibility distribution on $W$ .

12 pages