Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Xavier Caicedo
Teoría de Modelos
Universidad de los Andes
Perfil externo:
Citaciones:
53
Productos:
10
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
10 Productos
Más citado
CSV
API
Decidability of order-based modal logics
Acceso Abierto
ART-ART_A1
ID Minciencias: ART-0000250821-188
Fuente: Journal of Computer and System Sciences
Xavier Caicedo
George Metcalfe
Ricardo Oscar Rodriguez
Jonas Rogger
Temas:
Decidability
Mathematics
Completeness (order theory)
Normal modal logic
T-norm fuzzy logics
Kripke semantics
Modal logic
Discrete mathematics
S5
Fragment (logic)
Propositional variable
Accessibility relation
Unit interval
Modal
Intermediate logic
Algorithm
Description logic
Computer science
Theoretical computer science
Mathematical analysis
Chemistry
Membership function
Artificial intelligence
Fuzzy set
Polymer chemistry
Fuzzy logic
Publicado: 2017
Citaciones:
28
Altmétricas:
0
Artículo de revista
Omitting uncountable types and the strength of [0,1]-valued logics
Acceso Abierto
ART-ART_A1
ID Minciencias: ART-0000250821-168
Fuente: Annals of Pure and Applied Logic
Xavier Caicedo
José N Iovino
Temas:
Uncountable set
Mathematics
Class (philosophy)
Extension (predicate logic)
Discrete mathematics
Computer science
Artificial intelligence
Programming language
Countable set
Publicado: 2014
Citaciones:
24
Altmétricas:
0
Artículo de revista
Lindström’s Theorem for Positive Logics, a Topological View
Acceso Cerrado
CAP_LIB-GC_CAP_LIB
ID Minciencias: CAP_LIB-0000250821-185
Fuente: De Gruyter eBooks
Xavier Caicedo
Xavier Caicedo
Temas:
Mathematics
Pure mathematics
Topology (electrical circuits)
Combinatorics
Publicado: 2015
Citaciones:
1
Altmétricas:
0
Publicaciones editoriales no especializadas
Maximality of continuous logic
Acceso Cerrado
CAP_LIB-GC_CAP_LIB
ID Minciencias: CAP_LIB-0000250821-190
José N Iovino
Xavier Caicedo
Temas:
Computer science
Mathematics
Publicado: 2017
Citaciones:
0
Altmétricas:
0
Publicaciones editoriales no especializadas
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Acceso Abierto
ART-ART_A2
ID Minciencias: ART-0000250821-151
Fuente: arXiv (Cornell University)
Xavier Caicedo
Ricardo Oscar Rodriguez
Xavier Caicedo
Temas:
Normal modal logic
Modal logic
Kripke semantics
S5
Accessibility relation
Mathematics
Completeness (order theory)
Axiom
Modal
Multimodal logic
Modal operator
Algebra over a field
Intuitionistic logic
Representation theorem
Kripke structure
Discrete mathematics
Pure mathematics
Computer science
Description logic
Algorithm
Theoretical computer science
Propositional calculus
Mathematical analysis
Model checking
Chemistry
Geometry
Polymer chemistry
Publicado: 2011
Citaciones:
0
Altmétricas:
0
Artículo de revista
Subdirect decomposition of n-chromatic graphs
Fuente: Journal of Algebraic Combinatorics
Xavier Caicedo
Publicado: 1998
Citaciones:
0
Artículo de revista
Completud de dos cálculos logicos de Leibniz (Completencss of Two Logical Systems of Leibniz)
Fuente: Theoria. Revista de Teorı́a, Historia y Fundamentos de la Ciencia
Xavier Caicedo
Alejandro Martín
Publicado: 2001
Citaciones:
0
Artículo de revista
Omitting types and w-Categoricity for linear Kripke Sheaves
TM-TM_B
ID Minciencias: TM-0000250821-189
Xavier Caicedo
(Asesor)
Publicado: No disponible
Citaciones:
0
Tesis de posgrado
El teorema de categoricidad de Morley y la categoricidad de campos algebraicamente cerrados 0 con pseudo-exponenciación
TP-TP_B
ID Minciencias: TP-0000250821-187
Xavier Caicedo
(Asesor)
Publicado: No disponible
Citaciones:
0
Tesis de Pregrado
Límites inversos de estructuras compactas
TP-TP_B
ID Minciencias: TP-0000250821-184
Xavier Caicedo
(Asesor)
Publicado: No disponible
Citaciones:
0
Tesis de Pregrado
1
NaN
