Search results
Results: 49
Number of items: 49
-
Barbero, F., Schulz, K., Smets, S., Velázquez-Quesada, F. R., & Xie, K. (2020). Thinking About Causation: A Causal Language with Epistemic Operators. In M. A. Martins, & I. Sedlár (Eds.), Dynamic Logic : New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020 : revised selected papers (pp. 17-32). (Lecture Notes in Computer Science; Vol. 12569). Springer. https://doi.org/10.1007/978-3-030-65840-3_2, https://doi.org/10.48550/arXiv.2010.16217 -
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/
-
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. 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
-
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 -
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 -
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 -
Shi, C., Smets, S., & Velázquez-Quesada, F. R. (2018). Beliefs Based on Evidence and Argumentation. In L. S. Moss, R. de Queiroz, & M. Martinez (Eds.), Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings (pp. 289-306). (Lecture Notes in Computer Science; Vol. 10944), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-57669-4_17
Page 2 of 5