Some Semantics for a Logical Language for the Game of Dominoes. - Fernando R. Velázquez-Quesada; Francisco Hernández Quiroz (Artificial Intelligence and Applications, 2006)

Expressing Belief Flow in Assertion Networks. - Sujata Ghosh; Fernando R. Velázquez-Quesada (TbiLLC, 2007)

Learning and Teaching as a Game: A Sabotage Approach. - Nina Gierasimczuk; Lena Kurzen; Fernando R. Velázquez-Quesada (LORI, 2009)

Twelve Angry Men: A Study on the Fine-Grain of Announcements. - Davide Grossi; Fernando R. Velázquez-Quesada (LORI, 2009)

Dynamic Logics for Explicit and Implicit Information. - Fernando R. Velázquez-Quesada (LORI, 2009)

Games for Learning: A Sabotage Approach. - Nina Gierasimczuk; Lena Kurzen; Fernando R. Velázquez-Quesada (MALLOW, 2009)

Inference and update. - Fernando R. Velázquez-Quesada (Synth., 2009)

Abduction for (Non-Omniscient) Agents. - Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (MALLOW, 2010)

The dynamics of awareness. - Johan van Benthem; Fernando R. Velázquez-Quesada (Synth., 2010)

A Qualitative Approach to Uncertainty. - Sujata Ghosh; Fernando R. Velázquez-Quesada (ICLA, 2011)

Logic in Action - An Open Logic Courseware Project. - Jan Jaspars; Fernando R. Velázquez-Quesada (TICTTL, 2011)

Action models for knowledge and awareness. - Hans van Ditmarsch; Tim French 002; Fernando R. Velázquez-Quesada (AAMAS, 2012)

Public Announcements for Non-omniscient Agents. - Fernando R. Velázquez-Quesada (ICLA, 2013)

Explicit and Implicit Knowledge in Neighbourhood Models. - Fernando R. Velázquez-Quesada (LORI, 2013)

Expressivity Hierarchy of Languages for Epistemic Awareness Models. - Fernando R. Velázquez-Quesada (LORI, 2013)

Knowledge, awareness, and bisimulation. - Hans van Ditmarsch; Tim French 002; Fernando R. Velázquez-Quesada; Yì N. Wáng (TARK, 2013)

An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. - Ángel Nepomuceno-Fernández; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2013)

An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. - Fernando R. Velázquez-Quesada; Fernando Soler-Toscano; Ángel Nepomuceno-Fernández (J. Appl. Log., 2013)

Efficient Program Transformers for Translating LCC to PDL. - Pere Pardo; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (JELIA, 2014)

Generation and Selection of Abductive Explanations for Non-Omniscient Agents. - Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (J. Log. Lang. Inf., 2014)

Dynamic Epistemic Logic for Implicit and Explicit Beliefs. - Fernando R. Velázquez-Quesada (J. Log. Lang. Inf., 2014)

Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents. - Sujata Ghosh; Fernando R. Velázquez-Quesada (AAMAS, 2015)

Public and Secret Forgetting of Propositional Formulas. - Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (CAEPIA, 2015)

Tableaux for Non-normal Public Announcement Logic. - Minghui Ma; Katsuhiko Sano; François Schwarzentruber; Fernando R. Velázquez-Quesada (ICLA, 2015)

A Note on Reliability-Based Preference Dynamics. - Sujata Ghosh; Fernando R. Velázquez-Quesada (LORI, 2015)

Forgetting complex propositions. - David Fernández-Duque; Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2015)

Syntactic awareness in logical dynamics. - Davide Grossi; Fernando R. Velázquez-Quesada (Synth., 2015)

How to Make Friends: A Logical Approach to Social Group Creation. - Sonja Smets; Fernando R. Velázquez-Quesada (LORI, 2017)

On Subtler Belief Revision Policies. - Fernando R. Velázquez-Quesada (LORI, 2017)

Dynamic Epistemic Logics of Introspection. - Raul Fervari; Fernando R. Velázquez-Quesada (DALI@TABLEAUX, 2017)

The Creation and Change of Social Networks: A Logical Study Based on Group Size. - Sonja Smets; Fernando R. Velázquez-Quesada (DALI@TABLEAUX, 2017)

Argument-based Belief in Topological Structures. - Chenwei Shi; Sonja Smets; Fernando R. Velázquez-Quesada (TARK, 2017)

Reliability-based preference dynamics: lexicographic upgrade. - Fernando R. Velázquez-Quesada (J. Log. Comput., 2017)

Beliefs Based on Evidence and Argumentation. - Chenwei Shi; Sonja Smets; Fernando R. Velázquez-Quesada (WoLLIC, 2018)

Implicit, explicit and speculative knowledge. - Hans van Ditmarsch; Tim French 002; Fernando R. Velázquez-Quesada; Yì N. Wáng (Artif. Intell., 2018)

Tuning the Program Transformers from CC to PDL. - Pere Pardo; Enrique Sarión-Morrillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (FLAP, 2018)

Beliefs supported by binary arguments. - Chenwei Shi; Sonja Smets; Fernando R. Velázquez-Quesada (J. Appl. Non Class. Logics, 2018)

Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. - Fernando R. Velázquez-Quesada (J. Log. Comput., 2018)

Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. - Carlo Proietti; Davide Grossi; Sonja Smets; Fernando R. Velázquez-Quesada (LORI, 2019)

A Logical and Empirical Study of Right-Nested Counterfactuals. - Katrin Schulz; Sonja Smets; Fernando R. Velázquez-Quesada; Kaibo Xie (LORI, 2019)

Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. - Anthia Solaki; Fernando R. Velázquez-Quesada (LORI, 2019)

A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. - Sonja Smets; Fernando R. Velázquez-Quesada (DaLí, 2019)

Introspection as an action in relational models. - Raul Fervari; Fernando R. Velázquez-Quesada (J. Log. Algebraic Methods Program., 2019)

A logical study of group-size based social network creation. - Sonja Smets; Fernando R. Velázquez-Quesada (J. Log. Algebraic Methods Program., 2019)

Thinking About Causation: A Causal Language with Epistemic Operators. - Fausto Barbero; Katrin Schulz; Sonja Smets; Fernando R. Velázquez-Quesada; Kaibo Xie (DaLí, 2020)

A Closeness- and Priority-Based Logical Study of Social Network Creation. - Sonja Smets; Fernando R. Velázquez-Quesada (J. Log. Lang. Inf., 2020)

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (TARK, 2021)

A Semantic Approach to Non-prioritized Belief Revision. - Elise Perrotin; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2021)

First Steps in Updating Knowing How. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (DaLí, 2022)

Cautious Distributed Belief. - John Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (DaLí, 2022)

Communication between agents in dynamic epistemic logic. - Fernando R. Velázquez-Quesada (CoRR, 2022)

Non-strict Interventionism: The Case Of Right-Nested Counterfactuals. - Katrin Schulz; Sonja Smets; Fernando R. Velázquez-Quesada; Kaibo Xie (J. Log. Lang. Inf., 2022)

Bisimulations for Knowing How Logics. - Raul Fervari; Fernando R. Velázquez-Quesada; Yanjing Wang 001 (Rev. Symb. Log., 2022)

(Arbitrary) Partial Communication. - Rustam Galimullin; Fernando R. Velázquez-Quesada (AAMAS, 2023)

An Abstract Look at Awareness Models and Their Dynamics. - Carlo Proietti; Fernando R. Velázquez-Quesada; Antonio Yuste-Ginel (TARK, 2023)

Observing interventions: a logic for thinking about experiments. - Fausto Barbero; Katrin Schulz; Fernando R. Velázquez-Quesada; Kaibo Xie (J. Log. Comput., 2023)

Towards Resolving Distributed Beliefs. - John Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (SEFM, 2024)

Variations on distributed belief. - John Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (CoRR, 2024)

Uncertainty-based knowing how logic. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (J. Log. Comput., 2025)

A logical formalisation of false belief tasks. - Anthia Solaki; Fernando R. Velázquez-Quesada (J. Appl. Non Class. Logics, 2025)