The dynamics of awareness J van Benthem, FR Velázquez-Quesada Synthese 177 (1), 5-27, 2010 | 124 | 2010 |
Inference and update FR Velázquez-Quesada Synthese 169 (2), 283-300, 2009 | 60 | 2009 |
Small steps in dynamics of information FR Velazquez Quesada Institute for Logic, Language and Computation, 2011 | 59 | 2011 |
Dynamic epistemic logic for implicit and explicit beliefs FR Velázquez-Quesada Journal of Logic, Language and Information 23 (2), 107-140, 2014 | 54* | 2014 |
Learning and teaching as a game: A sabotage approach N Gierasimczuk, L Kurzen, FR Velázquez-Quesada Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009 | 41 | 2009 |
How to make friends: a logical approach to social group creation S Smets, FR Velázquez-Quesada Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017 …, 2017 | 38 | 2017 |
Twelve angry men: a study on the fine-grain of announcements D Grossi, FR Velázquez-Quesada Logic, Rationality, and Interaction, 147-160, 2009 | 37 | 2009 |
Explicit and implicit knowledge in neighbourhood models FR Velázquez-Quesada Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013 …, 2013 | 33 | 2013 |
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution FR Velázquez-Quesada, F Soler-Toscano, Á Nepomuceno-Fernández Journal of Applied Logic 11 (4), 505-522, 2013 | 30 | 2013 |
Argument-based Belief in Topological Structures C Shi, S Smets, FR Velázquez-Quesada arXiv preprint arXiv:1707.08762, 2017 | 26 | 2017 |
Action models for knowledge and awareness H van Ditmarsch, T French, FR Velázquez-Quesada Proceedings of the 11th International Conference on Autonomous Agents and …, 2012 | 26 | 2012 |
Syntactic awareness in logical dynamics D Grossi, FR Velázquez-Quesada Synthese 192 (12), 4071-4105, 2015 | 25 | 2015 |
Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents S Ghosh, FR Velázquez-Quesada Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015 | 23 | 2015 |
Knowledge, awareness, and bisimulation H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng TARK, 2013 | 23 | 2013 |
Beliefs supported by binary arguments C Shi, S Smets, FR Velázquez-Quesada Journal of Applied Non-Classical Logics 28 (2-3), 165-188, 2018 | 22 | 2018 |
Implicit, explicit and speculative knowledge H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng Artificial Intelligence 256, 35-67, 2018 | 22 | 2018 |
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation Á Nepomuceno-Fernández, F Soler-Toscano, FR Velázquez-Quesada Logic Journal of IGPL 21 (6), 943-961, 2013 | 22 | 2013 |
Forgetting complex propositions D Fernández–Duque, Á Nepomuceno–Fernández, E Sarrión–Morrillo, ... Logic Journal of the IGPL 23 (6), 942-965, 2015 | 16 | 2015 |
The creation and change of social networks: a logical study based on group size S Smets, FR Velázquez-Quesada Dynamic Logic. New Trends and Applications: First International Workshop …, 2018 | 15 | 2018 |
Bisimulations for Knowing How Logics R Fervari, FR Velázquez-Quesada, Y Wang The Review of Symbolic Logic, 1-37, 2021 | 13 | 2021 |