2025

• Solaki, Anthia; Velazquez Quesada, Fernando Raymundo (2025). A logical formalisation of false belief tasks. (external link)

2024

• Galimullin, Rustam; Velázquez-Quesada, Fernando R. (2024). Topic-Based Communication Between Agents. (external link)

2023

• Barbero, Fausto; Schulz, Katrin; Velázquez-Quesada, Fernando R. et al. (2023). Observing interventions: a logic for thinking about experiments. (external link)
• Galimullin, Rustam; Velázquez-Quesada, Fernando R. (2023). (Arbitrary) Partial Communication. (external link)
• Lindqvist, John Elias; Velázquez-Quesada, Fernando R.; Ågotnes, Thomas (2023). Cautious Distributed Belief. (external link)
• Areces, Carlos; Fervari, Raul; Saravia, Andrés R. et al. (2023). First Steps in Updating Knowing How. (external link)
• Areces, Carlos; Fervari, Raul; Saravia, Andrés R. et al. (2023). Uncertainty-based knowing how logic. (external link)

See a complete overview of publications in Cristin.

Here are some links where you can find information about my publications:

• Scopus Author ID: 56013716600.
• ResearcherID: I-8511-2014.
• ORCID: 0000-0003-4457-1414.
• DBLP computer science bibliography entry.
• Google Scholar profile.

If you cannot find the manuscript you are looking for, just contact me.