Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 96
Number of items: 96
  • 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
  • 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
  • Open Access
    Baltag, A., Boddy, R., & Smets, S. (2018). Group knowledge in interrogative epistemology. In H. van Ditmarsch, & G. Sandu (Eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (pp. 131-164). (Outstanding contributions to logic; Vol. 12). Springer. https://doi.org/10.1007/978-3-319-62864-6_5
  • Open Access
    Baltag, A., & Cinà, G. (2018). Bisimulation for conditional modalities. Studia Logica, 106(1), 1–33. https://doi.org/10.1007/s11225-017-9723-2
  • Open Access
    Baltag, A., Özgün, A., & Vargas Sandoval, A. L. (2018). APAL with memory is better. 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. 106-129). (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_6
  • Open Access
    Gattinger, M. (2018). New Directions in Model Checking Dynamic Epistemic Logic. [Thesis, fully internal, Universiteit van Amsterdam].
  • Baltag, A., & Occhipinti, A. (2017). Evidence logics with relational evidence. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 17-32). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_2
  • Baltag, A., Seligman, J., & Yamada, T. (2017). Preface. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. V-VI). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8
  • Baltag, A., Seligman, J., & Yamada, T. (Eds.) (2017). Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings. (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8
  • Open Access
    Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2017). The Topology of Full and Weak Belief. In H. H. Hansen, S. E. Murray, M. Sadrzadeh, & H. Zeevat (Eds.), Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers (pp. 205-228). (Lecture Notes in Computer Science; Vol. 10148), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-54332-0_12
Page 4 of 10