Fervari, Raul; Velázquez-Quesada, Fernando R.; Wang, Yanjing Bisimulations for knowing how logics. (English) Zbl 1505.03044 Rev. Symb. Log. 15, No. 2, 450-486 (2022). Reviewer: Éric Martin (Sydney) MSC: 03B42 03B45 03B70 PDFBibTeX XMLCite \textit{R. Fervari} et al., Rev. Symb. Log. 15, No. 2, 450--486 (2022; Zbl 1505.03044) Full Text: DOI
Smets, Sonja; Velázquez-Quesada, Fernando R. A closeness- and priority-based logical study of social network creation. (English) Zbl 1435.91139 J. Logic Lang. Inf. 29, No. 1, 21-51 (2020). MSC: 91D30 03B42 03B80 PDFBibTeX XMLCite \textit{S. Smets} and \textit{F. R. Velázquez-Quesada}, J. Logic Lang. Inf. 29, No. 1, 21--51 (2020; Zbl 1435.91139) Full Text: DOI
Fervari, Raul; Velázquez-Quesada, Fernando R. Introspection as an action in relational models. (English) Zbl 1435.03035 J. Log. Algebr. Methods Program. 108, 1-23 (2019). MSC: 03B42 PDFBibTeX XMLCite \textit{R. Fervari} and \textit{F. R. Velázquez-Quesada}, J. Log. Algebr. Methods Program. 108, 1--23 (2019; Zbl 1435.03035) Full Text: DOI
Smets, Sonja; Velázquez-Quesada, Fernando R. A logical study of group-size based social network creation. (English) Zbl 1425.91379 J. Log. Algebr. Methods Program. 106, 117-140 (2019). MSC: 91D30 03B42 PDFBibTeX XMLCite \textit{S. Smets} and \textit{F. R. Velázquez-Quesada}, J. Log. Algebr. Methods Program. 106, 117--140 (2019; Zbl 1425.91379) Full Text: DOI
van Ditmarsch, Hans; French, Tim; Velázquez-Quesada, Fernando R.; Wáng, Yì N. Implicit, explicit and speculative knowledge. (English) Zbl 1444.03035 Artif. Intell. 256, 35-67 (2018). MSC: 03B42 03B45 68T27 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Artif. Intell. 256, 35--67 (2018; Zbl 1444.03035) Full Text: DOI
Grossi, Davide; Velázquez-Quesada, Fernando R. Syntactic awareness in logical dynamics. (English) Zbl 1357.03047 Synthese 192, No. 12, 4071-4105 (2015). MSC: 03B42 03A05 PDFBibTeX XMLCite \textit{D. Grossi} and \textit{F. R. Velázquez-Quesada}, Synthese 192, No. 12, 4071--4105 (2015; Zbl 1357.03047) Full Text: DOI
Pardo, Pere; Sarrión-Morillo, Enrique; Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R. Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\). (English) Zbl 1432.68449 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 253-266 (2014). MSC: 68T27 03B42 PDFBibTeX XMLCite \textit{P. Pardo} et al., Lect. Notes Comput. Sci. 8761, 253--266 (2014; Zbl 1432.68449) Full Text: DOI
Velázquez-Quesada, Fernando R.; Soler-Toscano, Fernando; Nepomuceno-Fernández, Ángel An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution. (English) Zbl 1284.03147 J. Appl. Log. 11, No. 4, 505-522 (2013). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{F. R. Velázquez-Quesada} et al., J. Appl. Log. 11, No. 4, 505--522 (2013; Zbl 1284.03147) Full Text: DOI