Proyectos de investigación
•Lógica de protocolos incondicionalmente seguros
•La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención
•Interpretaciones alternativas de lógicas no clásicas
•Red de investigación, formación y aplicaciones de lógica, lenguaje y computación
•Conciencia, lógica y computación
Proyectos de investigación en curso
•Lógica y lenguaje: información y representación
•Lógica, lenguaje y la unidad de la ciencia
•Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto
•Herramientas computacionales en la implementación de estrategias lógico-lingüísticas para el tratamiento de la ambigüedad en el discurso. Aplicaciones en contextos de relevancia informativa
Proyectos de investigación ya finalizados