Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 110
Number of items: 110
  • 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
  • Open Access
    Bergfeld, J. M. (2019). Quantum logics for expressing and proving the correctness of quantum programs. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2019). A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), 205-244. https://doi.org/10.1007/s10992-018-9463-4
  • Open Access
    Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L., & Smets, S. (2019). A Dynamic Logic for Learning Theory. Journal of Logical and Algebraic Methods in Programming, 109, Article 100485. https://doi.org/10.1016/j.jlamp.2019.100485
  • 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
  • Smets, S., & Velázquez-Quesada, F. R. (2018). A logical perspective on social group creation. In P. Arazim, & T. Lávička (Eds.), The Logica Yearbook 2017 (pp. 271-288). College Publications.
  • Smets, S., & Solaki, A. (2018). The effort of reasoning: modelling the inference steps of boundedly rational agents. 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. 307-324). (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_18
  • 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
  • Open Access
    Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L., & Smets, S. (2018). A dynamic logic for learning theory. 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. 35-54). (Lecture Notes in Computer Science; Vol. 10669). Springer. https://doi.org/10.1007/978-3-319-73579-5_3
Page 5 of 11