Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Ciencias sociales(1)
Lógica filosófica(1)
Procesos mentales conscientes e inteligencia(1)
Sistemas(1)
Origen
scopus(2)
Belief change and 3-valued logics: Characterization of 19,683 belief change operators
ArticleAbstract: In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and preciPalabras claves:Autores:Nerio Borges, Ramón Pino-PérezFuentes:scopusUniversal first-order logic is superfluous in the second level of the polynomial-time hierarchy
ArticleAbstract: In this paper we prove that ∀FO, the universal fragment of first-order logic, is superfluous in Σ2pPalabras claves:Computational complexity, descriptive complexity, Graph Theory, MATHEMATICAL LOGICAutores:Nerio Borges, Pin E.Fuentes:scopus