ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic
Autor/es:
FRANCESC ESTEVA; FELIX BOU; RICARDO O. RODRIGUEZ; LLUIS GODO
Revista:
Communications in Computer and Information Science
Editorial:
Springer Verlag
Referencias:
Lugar: Berlin; Año: 2016 vol. 611 p. 123 - 135
ISSN:
1865-0929
Resumen:
In this paper we provide a simplified semantics for the logic $KD45(mathbf{G})$, i.e. the many-valued G"odel counterpart of the classical modal logic $KD45$. More precisely, we characterize $KD45(mathbf{G})$ as the set of valid formulae of the class of possibilistic G"odel Kripke Frames $langle W, pi angle$,where $W$ is a non-empty set of worlds and $pi: W o [0, 1]$ is a normalized possibility distribution on $W$.