Similarity-based graded modal logic

Within the approximate reasoning Cramework, several systems oC modallogic have been proposed to formalize several kinds oC reasoning models ([MP94], [HM92], [FH91]). In particular, in [EGG95] a Kripke model-like theory for a logic of graded necessity and possibility operators is presented to model s...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Garcia, Pere, Godo, Lluís, Rodríguez, Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1995
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24322
Aporte de:

Ejemplares similares