Search results
Results: 94
Number of items: 94
-
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., Ö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 -
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
-
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
-
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
-
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
-
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
-
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., Lucero-Bryan, J., & van Mill, J. (2021). Tree-like constructions in topology and modal logic. Archive for Mathematical Logic, 60(3-4), 265–299. https://doi.org/10.1007/s00153-020-00743-6
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2021). Characterizing existence of a measurable cardinal via modal logic. Journal of Symbolic Logic, 86(1), 162-177. https://doi.org/10.1017/jsl.2021.5
Page 2 of 10