Follow
Fernando R. Velázquez-Quesada
Fernando R. Velázquez-Quesada
Department of Information Science and Media Studies, Universitetet i Bergen
Verified email at uib.no - Homepage
Title
Cited by
Cited by
Year
The dynamics of awareness
J van Benthem, FR Velázquez-Quesada
Synthese 177 (1), 5-27, 2010
1242010
Inference and update
FR Velázquez-Quesada
Synthese 169 (2), 283-300, 2009
602009
Small steps in dynamics of information
FR Velazquez Quesada
Institute for Logic, Language and Computation, 2011
582011
Dynamic epistemic logic for implicit and explicit beliefs
FR Velázquez-Quesada
Journal of Logic, Language and Information 23 (2), 107-140, 2014
53*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
412009
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
382017
Twelve angry men: a study on the fine-grain of announcements
D Grossi, FR Velázquez-Quesada
Logic, Rationality, and Interaction, 147-160, 2009
372009
Explicit and implicit knowledge in neighbourhood models
FR Velázquez-Quesada
Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013 …, 2013
332013
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
292013
Argument-based Belief in Topological Structures
C Shi, S Smets, FR Velázquez-Quesada
arXiv preprint arXiv:1707.08762, 2017
262017
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
262012
Syntactic awareness in logical dynamics
D Grossi, FR Velázquez-Quesada
Synthese 192 (12), 4071-4105, 2015
252015
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
232015
Knowledge, awareness, and bisimulation
H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng
TARK, 2013
232013
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
222018
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
222013
Implicit, explicit and speculative knowledge
H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng
Artificial Intelligence 256, 35-67, 2018
212018
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
152018
Forgetting complex propositions
D Fernández–Duque, Á Nepomuceno–Fernández, E Sarrión–Morrillo, ...
Logic Journal of the IGPL 23 (6), 942-965, 2015
152015
Bisimulations for Knowing How Logics
R Fervari, FR Velázquez-Quesada, Y Wang
The Review of Symbolic Logic, 1-37, 2021
132021
The system can't perform the operation now. Try again later.
Articles 1–20