Ángel Nepomuceno-Fernández

16 papers B 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interrogative logic as underlying logic in scientific practices.
Log. J. IGPL
Ángel Nepomuceno-Fernández
2015 J jnl
Forgetting complex propositions.
CoRR
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2015 J jnl
Forgetting complex propositions.
Log. J. IGPL
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2015 — conf
Public and Secret Forgetting of Propositional Formulas.
CAEPIA
Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2015 J jnl
Set theory and tableaux for teaching propositional logic.
CoRR
Nino Guallart, Ángel Nepomuceno-Fernández
2013 J jnl
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution.
J. Appl. Log.
Fernando R. Velázquez-Quesada, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
2013 J jnl
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation.
Log. J. IGPL
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
2013 J jnl
Dynamic Consequence and Public announcement.
Rev. Symb. Log.
Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández
2012 J jnl
A modal framework for modelling abductive reasoning.
Log. J. IGPL
Fernando Soler-Toscano, David Fernández-Duque, Ángel Nepomuceno-Fernández
2012 J jnl
Tableaux for structural abduction.
Log. J. IGPL
Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque
2011 — conf
Information-Theoretic Perspective for Teaching Logic.
TICTTL
Ángel Nepomuceno-Fernández
2011 — ch.
Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems.
Otto Neurath and the Unity of Science
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera
2009 J jnl
Abduction via
J. Appl. Non Class. Logics
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera
2006 B conf
: Tableaux and Resolution for Finite Abduction.
JELIA
Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
2006 J jnl
Model-Baded Abduction via Dual Resolution.
Log. J. IGPL
Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera
2006 J jnl
Towards Abductive Reasoning in First-order Logic.
Log. J. IGPL
A. Liliana Reyes-Cabello, Atocha Aliseda-Llera, Ángel Nepomuceno-Fernández