Bezhanishvili, G., Harding, J., Ilin, J., Lauridsen, F.M. (2018) MacNeille transferability and stable classes of Heyting algebras.

Algebra Universalis, Vol. 79

Article | https://doi.org/10.1007/s00012-018-0534-8 | UvA-DARE

Bezhanishvili, G., Vosmaer, J. (2008) Comparison of Macneille, canonical, and profinite completions.

Order, Vol. 25 (pp 299-320)

Article | https://doi.org/10.1007/s11083-008-9095-3 | UvA-DARE

Bezhanishvili, N., Baltag, A., Fernández-Duque, D. (2023) The topological mu-calculus: completeness and decidability.

Journal of the Association for Computing Machinery, Vol. 70

Article | https://doi.org/10.48550/arXiv.2105.08231 | UvA-DARE

Bezhanishvili, N., Carai, L., Ghilardi, S., Landi, L. (2023) Admissibility of Π2-inference rules: Interpolation, model completion, and contact algebras.

Annals of Pure and Applied Logic, Vol. 174

Article | https://doi.org/10.48550/arXiv.2201.06076 | UvA-DARE

Bezhanishvili, N., Ciancia, V., Gabelaia, D., Grilletti, G., Latella, D., Massink, M. (2022) Geometric model checking of continuous space.

Logical Methods in Computer Science, Vol. 18

Article | https://doi.org/10.46298/lmcs-18(4:7)2022 | UvA-DARE

Bezhanishvili, N., Ciancia, V., Gabelaia, D., Jibladze, M., Latella, D., Massink, M., de Vink, E.P. (2024) Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη.

In Castiglioni, V. Francalanza, A. (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024 : held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024 : proceedings (pp 20-38) (Lecture Notes in Computer Science, Vol. 14678). Springer.

Bezhanishvili, N., Colacito, A., de Jongh, D. (2019) A study of subminimal logics of negation and their modal companions.

In Silva, A. Staton, S. Sutton, P. Umbach, C. (Eds.), Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers (pp 21-41) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11456). Springer.

Bezhanishvili, N., Coumans, D., van Gool, S.J., de Jongh, D. (2015) Duality and universal models for the meet-implication fragment of IPC.

In Aher, M. Hole, D. Jeřábek, E. Kupke, C. (Eds.), Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: revised selected papers (pp 97-116) (Lecture Notes in Computer Science, Vol. 8984). Springer.

Bezhanishvili, N., de Groot, J., Venema, Y. (2019) Coalgebraic Geometric Logic.

In Roggenbach, M. Sokolova, A. (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3-6, 2019, London, United Kingdom (Leibniz International Proceedings in Informatics, Vol. 139). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bezhanishvili, N., de Groot, J., Venema, Y. (2022) Coalgebraic geometric logic: Basic theory.

Logical Methods in Computer Science, Vol. 18

Article | https://doi.org/10.46298/LMCS-18(4:10)2022 | UvA-DARE

Bezhanishvili, N., de Jongh, D., Tzimoulis, A., Zhao, Z. (2017) Universal models for the positive fragment of intuitionistic logic.

In Hansen, H.H. Murray, S.E. Sadrzadeh, M. Zeevat, H. (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 229-250) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10148). Springer.

Bezhanishvili, N., de Jongh, D. (2005) Intuitionistic Logic.

ESSLLI Course Notes. Hariot Watt University.

Report | http://www.macs.hw.ac.uk/esslli05 | UvA-DARE

Bezhanishvili, N., de Jongh, D. (2012) Extendible Formulas in Two Variables in Intuitionistic Logic.

Studia Logica, Vol. 100 (pp 61-89)

Article | https://doi.org/10.1007/s11225-012-9389-8 | UvA-DARE

Bezhanishvili, N., de Jongh, D. (2018) Stable formulas in intuitionistic logic.

Notre Dame Journal of Formal Logic, Vol. 59 (pp 307-324)

Article | https://doi.org/10.1215/00294527-2017-0030 | UvA-DARE

Bezhanishvili, N., Dmitrieva, Anna, de Groot, J., Moraschini, Tommaso (2024) Positive modal logic beyond distributivity.

Annals of Pure and Applied Logic, Vol. 175

Article | https://doi.org/10.1016/j.apal.2023.103374 | UvA-DARE

Bezhanishvili, N., Enqvist, S., de Groot, J. (2020) Duality for instantial neighbourhood logic via coalgebra.

In Petrişan, D. Rot, J. (Eds.), Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020 : proceedings (pp 32-54) ( Lecture Notes in Computer Science, Vol. 12094). Springer.

Bezhanishvili, N., Fontaine, G., Venema, Y. (2010) Vietoris bisimulations.

Journal of Logic and Computation, Vol. 20 (pp 1017-1040)

Article | https://doi.org/10.1093/logcom/exn091 | UvA-DARE

Bezhanishvili, N., Gabelaia, D., Ghilardi, S., Jibladze, M. (2016) Admissible bases via stable canonical rules.

Studia Logica, Vol. 104 (pp 317-341)

Article | https://doi.org/10.1007/s11225-015-9642-z | UvA-DARE

Bezhanishvili, N., Galatos, N., Spada, L. (2017) Canonical formulas for k-potent commutative, integral, residuated lattices.

Algebra Universalis, Vol. 77 (pp 321-343)

Article | https://doi.org/10.1007/s00012-017-0430-7 | UvA-DARE

Bezhanishvili, N., Ghilardi, S., Jibladze, M. (2014) Free modal algebras revisited: the step-by-step method.

In Bezhanishvili, G. (Eds.), Leo Esakia on Duality in Modal and Intuitionistic Logics (pp 43-62) (Outstanding contributions to logic, Vol. 4). Springer.