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

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bou, F., Esteva, F., Godo, L., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.
Formato: SER
Materias:
Computer circuits
Information management
Information science
Knowledge based systems
Reconfigurable hardware
Semantics
Classical modal logic
Kripke frames
Possibilistic
Possibility distributions
Fuzzy logic
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_18650929_v611_n_p123_Bou
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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. © Springer International Publishing Switzerland 2016.

Ejemplares similares