Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 97
Number of items: 97
  • Baltag, A., Bezhanishvili, N., & Fernández González, S. (2022). Topological Evidence Logics: Multi-agent Setting. In A. Özgün, & Y. Zinova (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp. 237-257). (Lecture Notes in Computer Science; Vol. 13206), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-030-98479-3_12
  • Baltag, A., Li, D., & Pedersen, M. Y. (2022). A Modal Logic for Supervised Learning. Journal of Logic, Language and Information, 31(2), 213-234. https://doi.org/10.1007/s10849-022-09359-w
  • Open Access
    Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2022). Justified belief, knowledge, and the topology of evidence. Synthese, 200(6), Article 512. https://doi.org/10.1007/s11229-022-03967-6
  • Open Access
    Baltag, A., & Smets, S. (2022). Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic. Applied Sciences, 12(9), Article 4458. https://doi.org/10.3390/app12094458
  • Baltag, A., Canavotto, I., & Smets, S. (2021). Causal Agency and Responsibility: A Refinement of STIT Logic. In A. Giordani, & J. Malinowski (Eds.), Logic in High Definition: Trends in Logical Semantics (pp. 149-176). (Trends in Logic; Vol. 56). Springer. https://doi.org/10.1007/978-3-030-53487-5_8
  • Baltag, A., Bezhanishvili, N., & Fernández-Duque, D. (2021). The topological mu-calculus: completeness and decidability. In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 29 June 2021-2 July 2021, Rome, Italy,virtual (pp. 1126-1138). IEEE. https://doi.org/10.1109/LICS52264.2021.9470560
  • Open Access
    Baltag, A., & van Benthem, J. (2021). A Simple Logic of Functional Dependence. Journal of Philosophical Logic, 50(5), 939-1005. https://doi.org/10.1007/s10992-020-09588-z
  • Open Access
    Baltag, A., Rad, S. R., & Smets, S. (2021). Tracking probabilistic truths: a logic for statistical learning. Synthese, 199(3-4), 9041-9087. https://doi.org/10.1007/s11229-021-03193-6
  • Open Access
    Li, D. (2021). Formal threads in the social fabric: Studies in the logical dynamics of multi-agent interaction. [Thesis, fully internal, Universiteit van Amsterdam, Tsinghua University].
  • Open Access
    Baltag, A., Özgün, A., & Vargas-Sandoval, A. L. (2020). The Logic of AGM Learning from Partial Observations. In L. Soares Barbosa, & A. Baltag (Eds.), Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings (pp. 35-52). (Lecture Notes in Computer Science; Vol. 12005). Springer. https://doi.org/10.1007/978-3-030-38808-9_3
Page 2 of 10