Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 95
Number of items: 95
  • 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., Bezhanishvili, N., & Fernández-Duque, D. (2022). The topology of surprise. In G. Kern-Isberner, G. Lakemeyer, & T. Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning: Haifa, Israel. July 31–August 5, 2022 (pp. 33-42). (KR; Vol. 2022). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/kr.2022/4
  • Open Access
    Bezhanishvili, N., de Groot, J., & Venema, Y. (2022). Coalgebraic geometric logic: Basic theory. Logical Methods in Computer Science, 18(4), Article 10. https://doi.org/10.46298/LMCS-18(4:10)2022, https://doi.org/10.48550/arXiv.1903.08837
  • Open Access
    Bezhanishvili, N., Grilletti, G., & Quadrellaro, D. E. (2022). An algebraic approach to inquisitive and DNA-logics. Review of Symbolic Logic, 15(4), 950-990. https://doi.org/10.1017/S175502032100054X
  • 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
    Bezhanishvili, G., Bezhanishvili, N., & de Groot, J. (2022). A coalgebraic approach to dualities for neighborhood frames. Logical Methods in Computer Science, 18(3), Article 4. https://doi.org/10.46298/lmcs-18(3:4)2022, https://doi.org/10.48550/arXiv.2106.01628
  • Open Access
    Bezhanishvili, N., Ciancia, V., Gabelaia, D., Grilletti, G., Latella, D., & Massink, M. (2022). Geometric model checking of continuous space. Logical Methods in Computer Science, 18(4), Article 7. https://doi.org/10.46298/lmcs-18(4:7)2022, https://doi.org/10.48550/arXiv.2105.06194
  • 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
  • Bezhanishvili, G., Bezhanishvili, N., Carai, L., Gabelaia, D., Ghilardi, S., & Jibladze, M. (2021). Diego's Theorem for nuclear implicative semilattices. Indagationes Mathematicae, 32(2), 498-535. https://doi.org/10.1016/j.indag.2020.12.005
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., Moraschini, T., & Stronkowski, M. (2021). Profiniteness and representability of spectra of Heyting algebras. Advances in Mathematics, 391, Article 107959. https://doi.org/10.1016/j.aim.2021.107959
Page 2 of 10