1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

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 \rangle$, where $W$ is a non-empty set of worlds and $\pi: W \to [0, 1]$ is a normalized possibility distribution on $W$.

Pertenece a

Digital.CSIC  

Autor(es)

Bou, Felix -  Esteva, Francesc -  Godo, Lluís -  Rodriguez, Ricardo O. - 

Id.: 70423049

Idioma: eng  - 

Versión: 1.0

Estado: Final

Tipo de recurso: Artículo  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: closedAccess

Requerimientos técnicos:  Browser: Any - 

Relación: [References] Sí

Fecha de contribución: 15-nov-2017

Contacto:

Localización:
* doi: 10.1007/978-3-319-40581-0_11
* isbn: 978-3-319-40580-3
* Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2016. Communications in Computer and Information Science, vol 611: 123-135 (2016)

Otros recursos del mismo autor(es)

  1. Advances in Weighted Logics for Artificial Intelligence Peer Reviewed
  2. Asymmetric 1,3-dipolar cycloaddition reactions between enals and nitrones catalysed by half-sandwich rhodium or iridium diphosphane complexes The aqua complexes [(η5-C5Me5)M(PP*)(H2O)][SbF6]2 (M = Rh, Ir; PP* = chiral diphosphane) have been t...
  3. Smooth Finite T-norms and Their Equational Axiomatization In this paper, as homage to Professor Gaspar Mayor in his 70 anniversary, we present a summary of re...
  4. On the Equational Characterization of Continuous t-Norms A (continuous) t-norm is called equationally definable when the corresponding standard BL-algebra [0...
  5. Fuzzy sets and possibility theory in approximate and plausible reasoning International audience

Otros recursos de la mismacolección

  1. A reward-based approach for preference modeling: A case study Most of reasoning for decision making in daily life is based on preferences. As other kinds of reaso...
  2. Advances in Weighted Logics for Artificial Intelligence Peer Reviewed
  3. On the existence of free models in fuzzy universal Horn classes This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, ...
  4. Interdecadal Variability of Southeastern South America Rainfall and Moisture Sources during the Austral Summertime Sea surface temperature (SST) anomalies over the tropical oceans are able to generate extratropical ...
  5. Heat flux of a granular gas with homogeneous temperature A steady state of granular gas with homogeneous granular temperature, no mass flow, and nonzero heat...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.