Projects:
Here you have a list of current and past projects I have been involved in:
Métodos lógicos y abductivos aplicados a la semántica y la pragmática de la interacción comunicativa (PID2020-117871GB-I00).
Abducción y diagnóstico médico. Interrogación e hipótesis en la causalidad científica (Proyectos I+D+i FEDER Andalucía 2014-2020).
Nuevos Diseños de Sistemas de Diálogo (TIN2015-72709-EXP ).
El proceso inferencial como proceso informacional: dinámica lógica de la información y la representación del discurso y el diálogo (ProInf) (P20_01140).
Currently...
My current research is now focusing in formal issues of epistemic modal logic, mainly (but not exclusively) probabilistic epistemic logic. Some of them are the following:
Composition of modal operators, via demonic and angelic composition.
Probabilistic introspection and stability for rational agents.
Semantic tableaux and dialogical games for probabilistic modal logic.
Combination of probabilistic modal operators with other ones.