2026

• Gaia Belardinelli; Thomas Bolander; Paolo Galeazzi et al. (2026). Social logic: logic for modeling social phenomena. (external link)

2025

• Carlos Areces; Raul Fervari; Andrés R. Saravia et al. (2025). The Dynamics of Knowing How. (external link)
• John Elias Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (2025). Variations on distributed belief. (external link)
• John Elias Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (2025). Towards Resolving Distributed Beliefs. (external link)
• Anthia Solaki; Fernando Raymundo Velazquez Quesada (2025). A logical formalisation of false belief tasks. (external link)

2023

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

2024

• Nina Gierasimczuk; Fernando R. Velázquez-Quesada (2024). Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. (external link)
• Rustam Galimullin; Fernando R. Velázquez-Quesada (2024). Topic-Based Communication Between Agents. (external link)

See a complete overview of publications in NVA.

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.