ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Simplified Kripke semantics for a generalized possibilistic Gödel logic
Autor/es:
FRANCESC ESTEVA; OLIM TUYT; RICARDO O. RODRIGUEZ; LLUIS GODO
Lugar:
Amsterdam
Reunión:
Conferencia; SYSMICS 2019; 2019
Institución organizadora:
Universidad de Amsterdam
Resumen:
In this paper we will report on a correct proof, not only for the completeness of KD45(G) w.r.t. to its corresponding class of possibilistic frames, but also for the weaker logic K45(G) accounting for partially inconsistent possibilistic Kripkeframes.
