Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Ciencias sociales(1)
Inglés e inglés antiguo (anglosajón)(1)
Lengua(1)
Lingüística(1)
Lógica filosófica(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:scopusSyntactic characterizations of completeness using duals and operators
ArticleAbstract: This article extends the work laid down by Medina and Immerman for the syntactic characterization ofPalabras claves:Canonical forms, completeness, descriptive complexity, Dual operator, Syntactic operatorsAutores:Bonet B., Nerio BorgesFuentes:scopus