-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2015) S4.3 and hereditarily extremally disconnected spaces.Georgian Mathematical Journal, Vol. 22 (pp 441-4759)Article | https://doi.org/10.1515/gmj-2015-0041 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2017) Krull dimension in modal logic.Journal of Symbolic Logic, Vol. 82 (pp 1356-1786)Article | https://doi.org/10.1017/jsl.2017.14 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2018) A new proof of the McKinsey-Tarski Theorem.Studia Logica, Vol. 106 (pp 1291-1311)Article | https://doi.org/10.1007/s11225-018-9789-5 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2018) Tychonoff HED-spaces and Zemanian extensions of S4.3.Review of Symbolic Logic, Vol. 11 (pp 115-132)Article | https://doi.org/10.1017/S1755020317000314 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2019) On modal logics arising from scattered locally compact Hausdorff spaces.Annals of Pure and Applied Logic, Vol. 170 (pp 558-577)Article | https://doi.org/10.1016/j.apal.2018.12.005 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2021) The McKinsey-Tarski theorem for locally compact ordered spaces.The Bulletin of Symbolic Logic, Vol. 27 (pp 187-211)Article | https://doi.org/10.1017/bsl.2021.16 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2021) Characterizing existence of a measurable cardinal via modal logic.Journal of Symbolic Logic, Vol. 86 (pp 162-177)Article | https://doi.org/10.1017/jsl.2021.5 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2021) Tree-like constructions in topology and modal logic.Archive for Mathematical Logic, Vol. 60 (pp 265–299)Article | https://doi.org/10.1007/s00153-020-00743-6 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J. (2025) On Shehtman's two problems.Journal of the London Mathematical Society, Vol. 111Article | https://doi.org/10.1112/jlms.70090 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Moraschini, T., Stronkowski, M. (2021) Profiniteness and representability of spectra of Heyting algebras.Advances in Mathematics, Vol. 391Article | https://doi.org/10.1016/j.aim.2021.107959 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Santoli, T., Venema, Y. (2019) A strict implication calculus for compact Hausdorff spaces.Annals of Pure and Applied Logic, Vol. 170Article | https://doi.org/10.1016/j.apal.2019.06.003 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., Venema, Y. (2017) Irreducible equivalence relations, Gleason spaces, and de Vries duality.Applied Categorical Structures, Vol. 25 (pp 381-401)Article | https://doi.org/10.1007/s10485-016-9434-2 | UvA-DARE
-
Bezhanishvili, G., Bezhanishvili, N. (2016) An algebraic approach to filtrations for superintuitionistic logics.In van Eijk, J. Iemhoff, R. Joosten, J.J. (Eds.), Liber Amicorum Alberti: a tribute to Albert Visser (pp 47-56) (Tributes, Vol. 30). College Publications.Chapter | UvA-DAREBezhanishvili, G., Bezhanishvili, N. (2017) Locally finite reducts of Heyting algebras and canonical formulas.Notre Dame Journal of Formal Logic, Vol. 58 (pp 21-45)Bezhanishvili, G., Gehrke, M., van Benthem, J.F.A.K. (2003) Euclidean hierarchy in modal logic.Studia Logica, Vol. 75 (pp 327-344)Article | UvA-DAREBezhanishvili, G., Harding, J., Ilin, J., Lauridsen, F.M. (2018) MacNeille transferability and stable classes of Heyting algebras.Algebra Universalis, Vol. 79Article | https://doi.org/10.1007/s00012-018-0534-8 | UvA-DAREBezhanishvili, 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-DAREBezhanishvili, N., Baltag, A., Fernández-Duque, D. (2023) The topological mu-calculus: completeness and decidability.Journal of the Association for Computing Machinery, Vol. 70Article | https://doi.org/10.48550/arXiv.2105.08231 | UvA-DAREBezhanishvili, 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. 174Article | https://doi.org/10.48550/arXiv.2201.06076 | UvA-DAREBezhanishvili, N., Ciancia, V., Gabelaia, D., Grilletti, G., Latella, D., Massink, M. (2022) Geometric model checking of continuous space.Logical Methods in Computer Science, Vol. 18Article | https://doi.org/10.46298/lmcs-18(4:7)2022 | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl