Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 49
Number of items: 49
  • Open Access
    Smets, S., & Velázquez-Quesada, F. R. (2020). A Closeness- and Priority-Based Logical Study of Social Network Creation. Journal of Logic, Language and Information, 29(1), 21–51. https://doi.org/10.1007/s10849-019-09311-5
  • Smets, S., & Velázquez-Quesada, F. R. (2019). A logical study of group-size based social network creation. Journal of Logical and Algebraic Methods in Programming, 106, 117-140. https://doi.org/10.1016/j.jlamp.2019.05.003
  • Solaki, A., & Velázquez-Quesada, F. R. (2019). Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. In P. Blackburn, E. Lorini, & M. Guo (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp. 297-312). (Lecture Notes in Computer Science; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-60292-8_22
  • Fervari, R., & Velázquez-Quesada, F. R. (2019). Introspection as an action in relational models. Journal of Logical and Algebraic Methods in Programming, 108, 1-23. https://doi.org/10.1016/j.jlamp.2019.06.005
  • Smets, S., & Velázquez-Quesada, F. (2019). Philosophical Aspects of Multi-Modal Logic. Stanford Encyclopedia of Philosophy, 2019(Summer). https://plato.stanford.edu/entries/phil-multimodallogic/
  • Open Access
    Fernández-Fernández, C., & Velázquez-Quesada, F. R. (2019). A formal model for Explicit Knowledge as Awareness-of plus Awareness-that. In I. Sedlár, & M. Blicha (Eds.), The Logica Yearbook 2018 (pp. 101-115). College Publications. http://bit.ly/2mm6sq1
  • Open Access
    Proietti, C., Grossi, D., Smets, S., & Velázquez-Quesada, F. R. (2019). Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. In P. Blackburn, E. Lorini, & M. Guo (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp. 214-229). (Lecture Notes in Computer Science; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-60292-8_16
  • Open Access
    Schulz, K., Smets, S., Velázquez-Quesada, F. R., & Xie, K. (2019). A logical and empirical study of right-nested counterfactuals. In P. Blackburn, E. Lorini, & M. Guo (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp. 259-272). (Lecture Notes in Computer Science; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-60292-8_19
  • Velázquez-Quesada, F. R. (2018). Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. Journal of Logic and Computation, 28(8), 1805-1832. https://doi.org/10.1093/logcom/exv023
  • Smets, S., & Velázquez-Quesada, F. R. (2018). The creation and change of social networks: a logical study based on group size. In A. Madeira, & M. Benevides (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp. 171-184). (Lecture Notes in Computer Science; Vol. 10669). Springer. https://doi.org/10.1007/978-3-319-73579-5_11
Page 2 of 5