Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 96
Number of items: 96
  • 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., 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
    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
    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].
  • Soares Barbosa, L., & Baltag, A. (Eds.) (2020). Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings. (Lecture Notes in Computer Science; Vol. 12005). Springer. https://doi.org/10.1007/978-3-030-38808-9
  • Baltag, A., & Barbosa, L. S. (2020). Preface. 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. vi). (Lecture Notes in Computer Science; Vol. 12005). Springer. https://doi.org/10.1007/978-3-030-38808-9
Page 2 of 10