Artículo | 2024 |
Abduction and analogies in linguistic reconstruction inferences
|
Logic Journal of the IGPL |
Capítulo | 2023 |
Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings
|
Handbook of Abductive Cognition |
Capítulo | 2023 |
Lógica clásica de segundo orden
|
Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza |
Capítulo | 2023 |
Lógica interrogativa epistémica
|
Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza |
Capítulo | 2022 |
Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings
|
Handbook of Abductive Cognition |
Editorial | 2021 |
Editorial
|
Logic Journal of the IGPL |
Artículo | 2021 |
Knowledge in action: Logico-philosophical approach to linguistic evidentiality
|
Logic Journal of the IGPL |
Ponencia | 2021 |
Methodological Analysis for the Reconstruction of Language Families: The case of Semitic Languages
|
Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021 = Proceedings of the X Conference of the Spanish Society of Logic, Methodology and Philosophy of Science : Salamanca, 16-19 November 2021 |
Artículo | 2019 |
Giro dinámico y lógica de la investigación científica
|
Revista de Humanidades de Valparaíso |
Libro | 2019 |
Model-based reasoning in science and technology: Inferential models for logic, language, cognition and computation
|
Model-based reasoning in science and technology: Inferential models for logic, language, cognition and computation |
Editorial | 2019 |
Preface
|
Model-based reasoning in science and technology: Inferential models for logic, language, cognition and computation |
Capítulo | 2017 |
Abductive Reasoning in Dynamic Epistemic Logic
|
SPRINGER HANDBOOK OF MODEL-BASED SCIENCE |
Capítulo | 2017 |
Teoría de la Argumentación, Lógica, Lógica y Lenguaje
|
Material didáctico introductorio a las áreas de conocimiento de la Filosofía: [Facultad de Filosofía, Universidad de Sevilla] |
Capítulo | 2016 |
Modified tableaux for some kinds of multimodal logics
|
Epistemology, knowledge and the impact of interaction |
Editorial | 2016 |
Preface
|
Epistemology, knowledge and the impact of interaction |
Libro | 2015 |
El anillo de París
|
El anillo de París |
Artículo | 2015 |
Forgetting complex propositions
|
Logic Journal of the IGPL |
Ponencia | 2015 |
Public and secret forgetting of propositional formulas
|
ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015) |
Capítulo | 2014 |
Scientific models of abduction: The role of non classical logic
|
Bas van Fraassen's Approach to Representation and Models in Science |
Ponencia | 2014 |
The fundamental problem of contemporary epistemology
|
TEOREMA |
Artículo | 2013 |
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution
|
JOURNAL OF APPLIED LOGIC |
Artículo | 2013 |
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation
|
Logic Journal of the IGPL |
Artículo | 2013 |
DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
|
REVIEW OF SYMBOLIC LOGIC |
Artículo | 2012 |
A modal framework for modelling abductive reasoning
|
Logic Journal of the IGPL |
Capítulo | 2012 |
Dinámica de la información en agentes no omniscientes
|
Ensayos sobre lógica, lenguaje, mente y ciencia |
Capítulo | 2012 |
La inferencia científica relativa al contexto
|
Ensayos sobre lógica, lenguaje, mente y ciencia |
Artículo | 2012 |
Tableaux for structural abduction
|
Logic Journal of the IGPL |
Capítulo | 2012 |
Teoría de la Argumentación (curso 1º)
|
Nuevas metodologías docentes aplicadas al Grado de Filosofía: proyecto de innovación docente de la Facultad de Filosofía de la Universidad de Sevilla |
Ponencia | 2012 |
Tratamiento multimodal de contextos
|
VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012 = VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España : Santiago de Compostela, España, 18-20 de julio de 2012 |
Capítulo | 2011 |
Categoremático / Sincategoremático
|
Compendio de lógica, argumentación y retórica |
Capítulo | 2011 |
Corrección
|
Compendio de lógica, argumentación y retórica |
Ponencia | 2011 |
Information-theoretic perspective for teaching logic
|
Lecture Notes in Computer Science |
Capítulo | 2011 |
Tablas semánticas
|
Compendio de lógica, argumentación y retórica |
Capítulo | 2011 |
Tautología
|
Compendio de lógica, argumentación y retórica |
Capítulo | 2011 |
Validez
|
Compendio de lógica, argumentación y retórica |
Libro | 2010 |
Liber Amicorum Ángel Nepomuceno: homenaje en su sexagésimo cumpleaños
|
Liber Amicorum Ángel Nepomuceno: homenaje en su sexagésimo cumpleaños |
Ponencia | 2010 |
Razonamiento explicativo en contextos inferenciales
|
Estudios de Lógica, Lenguaje y Epistemología |
Ponencia | 2009 |
Abducción y revisión de creencias
|
Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre |
Artículo | 2009 |
Abduction via C-tableaux and resolution
|
Journal Of Applied Non-Classical Logics |
Artículo | 2009 |
SISTEMATIZACIÓN DEL DESCUBRIMIENTO Y LA EXPLICACIÓN: LA ELABORACIÓN DE UNA LÓGICA ABDUCTIVA
|
CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA |
Artículo | 2008 |
Abduction in Finite Models
|
CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA |
Artículo | 2008 |
Deducción y abducción
|
TEOREMA |
Ponencia | 2007 |
Information and logic
|
Current topics in logic and analytic philosophy : colloquium on logic and analytic philosophy at Santiago de Compostela = Temas actuales de lógica y filosofía analítica: coloquio compostelano de filosofía analítica : Santiago de Compostela, 2001-2005 |
Artículo | 2007 |
Metamodeling abduction
|
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA |
Artículo | 2007 |
Tablas semánticas para fórmulas satisfacibles en dominios finitos
|
TEOREMA |
Ponencia | 2006 |
Deducción y generación de modelos de cardinalidad finita
|
Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas |
Ponencia | 2006 |
Esquemas de argumentación abductiva
|
Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006) |
Artículo | 2006 |
Model-based abduction via dual resolution
|
Logic Journal of the IGPL |
Ponencia | 2006 |
Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución
|
Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas |
Ponencia | 2006 |
Razonar con expresiones ambiguas
|
Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006) |
Ponencia | 2006 |
tarfa: Tableaux and resolution for finite abduction
|
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
Artículo | 2006 |
Towards abductive reasoning in first-order logic
|
Logic Journal of the IGPL |
Artículo | 2005 |
MODELOS DE RAZONAMIENTO ABDUCTIVO
|
Contrastes. Suplemento |
Ponencia | 2004 |
Abducción y razonamiento por defecto
|
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 |
Ponencia | 2004 |
Abducción y tablas semánticas: algunas extensiones
|
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 |
Capítulo | 2004 |
Aplicación de tablas semánticas al estudio de algunas lógicas no clásicas
|
Summa logicae en el siglo XXI [Archivo de ordenador] |
Libro | 2004 |
Bases biológicas, lingüísticas, lógicas y computacionales para la concepción de la mente: LLIC-S-2004-01
|
Bases biológicas, lingüísticas, lógicas y computacionales para la concepción de la mente: LLIC-S-2004-01 |
Libro | 2004 |
El método de las tablas semánticas
|
El método de las tablas semánticas |
Capítulo | 2004 |
Enseñar lógica: lenguaje lógico y árboles semánticos
|
Summa logicae en el siglo XXI [Archivo de ordenador] |
Capítulo | 2004 |
Interpretaciones estándar y no estándar de sistemas logicistas
|
Summa logicae en el siglo XXI [Archivo de ordenador] |
Capítulo | 2004 |
Lógica, creación y justificación en matematicas
|
Summa logicae en el siglo XXI [Archivo de ordenador] |
Capítulo | 2004 |
Tablas semánticas para lógica de predicados de primer orden
|
Summa logicae en el siglo XXI [Archivo de ordenador] |
Ponencia | 2004 |
Un cálculo abductivo natural
|
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 |
Capítulo | 2004 |
Una reconstrucción formal del sistema de "Begriffschrift"
|
Summa logicae en el siglo XXI [Archivo de ordenador] |
Artículo | 2003 |
Presentation: The interdisciplinary field of Logic, Language and Information
|
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA |
Libro | 2002 |
Curso práctico de lógica
|
Curso práctico de lógica |
Artículo | 2002 |
LÓGICA MODAL Y ARGUMENTACIÓN FILOSÓFICA
|
Isidorianum (Sevilla) |
Capítulo | 2001 |
El análisis lógico del lenguaje científico. Los lenguajes-cosa de Carnap
|
Información : tratamiento y representación |
Libro | 2001 |
Información : tratamiento y representación
|
Información : tratamiento y representación |
Capítulo | 2001 |
Sistemas formales
|
Información : tratamiento y representación |
Ponencia | 2001 |
Sistemas logicistas e información modal
|
Congress Formal Theories and Empirical Theories: Foundational, Ontosemantic and Pragmatic Aspects = Congreso Teorías formales y teorías Empíricas : Aspectos fundacionales, ontosemánticos y pragmáticos : Santiago de Compostela, 14-16 de noviembre de 2001 |
Capítulo | 2001 |
Teoría de la argumentación: información y lógica
|
Información : tratamiento y representación |
Libro | 2000 |
Lógica, lenguaje e información: actas de las primeras Jornadas sobre Lógica y Lenguaje = Logic, language and information : proceedings of the first Workshop on Logic and Language
|
Lógica, lenguaje e información: actas de las primeras Jornadas sobre Lógica y Lenguaje = Logic, language and information : proceedings of the first Workshop on Logic and Language |
Artículo | 1999 |
Semantic tableaux and metalogic: The case of second-order logic
|
CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA |
Artículo | 1999 |
Tablas semánticas y metalógica: el caso de la lógica de segundo orden
|
CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA |
Ponencia | 1997 |
Interpretación no estándar de la lógica de segundo orden
|
Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Bellaterra 6-8 de febrero de 1997] |
Capítulo | 1997 |
Introduction to second-order models
|
The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 |
Ponencia | 1997 |
Lenguajes formales y tipos lógicos
|
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] |
Ponencia | 1997 |
Sobre la enseñanza de la lógica
|
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] |
Capítulo | 1996 |
Modelos fregeanos intensionales
|
Verdad: lógica, representación y mundo |
Artículo | 1995 |
Estudio formal de los aspectos relevantes de estructuras informativas
|
Ágora. Papeles de Filosofía |
Capítulo | 1995 |
Lógica formal elemental
|
Lógica formal: Orígenes, métodos y aplicaciones |
Libro | 1995 |
Lógica formal: Orígenes, métodos y aplicaciones
|
Lógica formal: Orígenes, métodos y aplicaciones |
Ponencia | 1994 |
Semántica fregeana de lenguajes de segundo orden
|
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
Artículo | 1994 |
Sistemas de lógica en la investigación de fundamentos
|
Fragmentos de Filosofía |
Artículo | 1993 |
Análisis no estándar y lógica
|
Ágora. Papeles de Filosofía |
Ponencia | 1993 |
La relación de consecuencia informativa
|
Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) |
Ponencia | 1993 |
Lógica e historia en la investigación de fundamentos
|
Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) |
Artículo | 1993 |
Nociones logicistas en filosofía de la matemática
|
CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA |
Artículo | 1993 |
Sistemas de cálculo como formas de logicismo
|
CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA |
Artículo | 1992 |
Las interpretaciones normales
|
Fragmentos de Filosofía |
Ponencia | 1992 |
Modelos de lenguajes formales con nominalización de predicados
|
Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) |
Ponencia | 1992 |
Teoría de la predicación y cálculos lógicos
|
Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991) |
Artículo | 1991 |
Tablas semánticas y cálculo generalizado de predicados
|
Encuentro de Lógica y Filosofía de la Ciencia, Madrid, 13-15 noviembre, 1991: : comunicaciones : Rudolf Carnap and Hans Reichenbach in memoriam |