Publications

Edited Volumes

1. Leo Esakia. Heyting algebras: Duality theory, Translated by A. Evseev. Edited by G. Bezhanishvili and W. Holliday, Trends in Logic, Volume 50, Springer, 2019.

2. Advances in modal logic, Volume 12 (2018), College Publications London, 2018, Editors: G. Bezhanishvili, G. D’Agostino, G. Metcalfe, T. Studer.

3. Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, Springer, 2014. Editor: G. Bezhanishvili.

4. Revised selected papers of the 9th international Tbilisi symposium on logic, language, and computation (TbiLLC 2011), Lecture Notes in Computer Science 7758, Springer, 2013. Editors: G. Bezhanishvili, S. Loebner, V. Marra, F. Richter.

5. Special issue of Studia Logica dedicated to the memory of Leo Esakia. Studia Logica, Vol. 100, No. 1-2 (2012). Editors: L. Beklemishev, G. Bezhanishvili, D. Mundici, Y. Venema.

Research Papers

Submitted

6. R. Almeida, G. Bezhanishvili, N. Bezhanishvili. Esakia order-compactifications and locally Esakia spaces, 2025.

7. G. Bezhanishvili, L. Carai. Esakia's theorem for the amended monadic intuitionistic calculus, 2025.

8. G. Bezhanishvili, M. Khan. Finite axiomatization of  GL x S5 and Grz x S5, 2025.

9. G. Bezhanishvili, S. Melzer. Priestley perspective on pointfree topology, 2025.

10. G. Bezhanishvili, D. Gabelaia, M. Jibladze. Kuznetsov's problem: what is known so far, 2025.

Accepted

11. G. Bezhanishvili, R. Raviprakash, A. L. Suarez, J. Walters-Wayland. McKinsey-Tarski algebras and Raney extensions, Applied Categorical Structures, 2026, to appear.

12. M. Abbadini, G. Bezhanishvili, L. Carai. On the lack of colimits in various categories of BAOs and Heyting algebras, Theory and Applications of Categories, 2026, to appear.

13. G. Bezhanishvili, S. Melzer, R. Raviprakash, A. L. Suarez. Local compactness does not always imply spatiality, Questions and Answers in General Topology, 2026, to appear.

14. G. Bezhanishvili, M. Khan. The monadic Grzegorczyk logic, Annals of Pure and Applied Logic, 2026, to appear.

15. G. Bezhanishvili, L. Carai, P. J. Morandi. Duality theory for bounded lattices: A comparative study, Dissertationes Mathematicae, 2026, to appear.

16. G. Bezhanishvili, P. Bhattacharjee, S. Melzer. Maximal d-spectra via Priestley duality, Journal of Algebra and Its Applications, 2026, to appear.

17. G. Bezhanishvili, L. Carai. Failure of Esakia's theorem in the monadic setting, Journal of Symbolic Logic, 2026, to appear.

18. G. Bezhanishvili, N. Bezhanishvili, T. Moraschini. Degrees of the finite model property: The antidichotomy theorem, Journal of Mathematical Logic, 2026, to appear.

19. G. Bezhanishvili, Ch. Meadors. Local finiteness in varieties of MS4-algebras, Journal of Symbolic Logic, 2025, to appear.

Published

2025

20. R. Almeida, G. Bezhanishvili. Maximality principles in modal logic and the axiom of choice, Fundamenta Mathematicae, 271 (2025), pp. 173-193.

21. G. Bezhanishvili, R. Raviprakash, A. L. Suarez, J. Walters-Wayland. The Funayama envelope as the TD-hull of a frame, Theory and Applications of Categories, 44 (2025), pp. 1106-1147.

22.  G. Bezhanishvili, F. Dashiell, M. A. Moshier, J. Walters-Wayland. Degrees of join-distributivity via Bruns-Lakser towers, Indagationes Mathematicae, 36 (2025), pp. 1180-1204.

23. G. Bezhanishvili, F. Dashiell, M. A. Moshier, J. Walters-Wayland. Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness, Order, 42 (2025), pp. 529-555.

24. G. Bezhanishvili, J. Madden, M. A. Moshier, M. Tressl, J. Walters-Wayland. Subfitness in distributive (semi)lattices, Semigroup Forum, 110 (2025), pp. 511-524.

25. G. Bezhanishvili, A. Kornell. On the structure of modal and tense operators on a boolean algebra, Algebra Universalis, 86 (2025), article 13, 22 pages.

26. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. On Shehtman's two problems, Journal of London Mathematical Society, 111 (2025), article e70090, 47 pages.

27. G. Bezhanishvili, S. Melzer. Algebraic frames in Priestley duality, Algebra Universalis, 86 (2025), article 6, 25 pages.

28. G. Bezhanishvili, L. Carai. Failure of the Blok-Esakia theorem in the monadic setting, Annals of Pure and Applied Logic, 176 (2025), article 103527, 22 pages.

29. G. Bezhanishvili, R. Raviprakash. Local compactness in MT-algebras, Topology Proceedings, 66 (2025), pp. 15-48.

2024

30. G. Bezhanishvili, L. Carai, P. J. Morandi. Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality, Theory and Applications of Categories, 41 (2024), pp. 1937-1982.

31. G. Bezhanishvili, A. Kornell. The category of topological spaces and open maps does not have products, Advances in Mathematics, 458 (2024), article 109963, 17 pages.

32. M. Abbadini, G. Bezhanishvili, L. Carai. Vietoris endofunctor for closed relations and its de Vries dual, Topology Proceedings, 64 (2024), pp. 213-250.

33. G. Bezhanishvili, F. Dashiell, A. Razafindrakoto, J. Walters-Wayland. Semilattice base hierarchy for frames and its topological ramifications, Applied Categorical Structures, 32 (2024), article 18, 31 pages.

34. M. Abbadini, G. Bezhanishvili, L. Carai. Ideal and MacNeille completions of subordination algebras, Cah. Topol. Geom. Differ. Categ., 65 (2024), pp. 151-199.

35. G. Bezhanishvili, D. Fernandez-Duque. The Baire closure and its logic, Journal of Symbolic Logic, 89 (2024), pp. 27-49.

2023

36. G. Bezhanishvili, L. Carai, P. J. Morandi. A new proof of the Joyal-Tierney theorem, Cah. Topol. Geom. Differ. Categ., 64 (2023), pp. 425-438.

37. G. Bezhanishvili, L. Carai, P. J. Morandi. A frame-theoretic approach to Esakia duality, Algebra Universalis, 84 (2023), article 30, 24 pages.

38. G. Bezhanishvili, R. Raviprakash. McKinsey-Tarski algebras: an alternative pointfree approach to topology, Topology and Its Applications, 339 (2023), article 108689, 30 pages.

39. G. Bezhanishvili, S. Melzer. Deriving dualities in pointfree topology from Priestley duality, Applied Categorical Structures, 31 (2023), article 34, 28 pages.

40. M. Abbadini, G. Bezhanishvili, L. Carai. A generalization of de Vries duality to closed relations between compact Hausdorff spaces, Topology and Its Applications, 337 (2023), article 108641, 22 pages.

41. G. Bezhanishvili, L. Carai, P. J. Morandi. A point-free approach to canonical extensions of boolean algebras and bounded archimedean l-algebras, Order, 40 (2023), pp. 257-287.

42. G. Bezhanishvili, L. Carai, P. J. Morandi, B. Olberding. A unified approach to Gelfand and de Vries dualities, Forum Mathematicum, 35 (2023), pp. 647-676.

43. G. Bezhanishvili, L. Carai, P. J. Morandi, B. Olberding. De Vries powers and proximity Specker algebras, Applied Categorical Structures, 31 (2023), article 24, 24 pages.

44. G. Bezhanishvili, K. Brantley, J. Ilin. Monadic intuitionistic and modal logics admitting provability interpretations, Journal of Symbolic Logic, 88 (2023), pp. 427-467.

45. G. Bezhanishvili, L. Carai. Temporal interpretation of monadic intuitionistic quantifiers, Review of Symbolic Logic, 16 (2023), pp. 164-187.

46. G. Bezhanishvili, J. Harding, P. J. Morandi. Remarks on hyperspaces for Priestley spaces, Theoretical Computer Science, 943 (2023), pp. 187-202.

47. G. Bezhanishvili, J. Harding. Duality theory for the category of stable compactifications, Topology Proceedings, 61 (2023), pp. 1-30.

2022

48. G. Bezhanishvili, N. Bezhanishvili. Jankov formulas and axiomatization techniques for intermediate logics, V. A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. Outstanding Contributions to Logic. A. Citkin and I. Vandoulakis, editors. Springer, Cham, 2022, pp. 71-124.

49. G. Bezhanishvili, D. Gabelaia, M. Jibladze. A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras, Journal of Mathematical Logic, 22 (2022), article 2250013, 21 pages. 

50. G. Bezhanishvili, S. Melzer. Hofmann-Mislove through the lenses of Priestley, Semigroup Forum, 105 (2022), pp. 825-833.

51. G. Bezhanishvili, L. Carai, P. J. Morandi. Modal operators on rings of continuous functions, Journal of Symbolic Logic, 87 (2022), pp. 1322-1348.

52. G. Bezhanishvili, N. Bezhanishvili, J. de Groot. A coalgebraic approach to dualities for neighborhood frames, Logical Methods in Computer Science, 18 (2022), issue 3, article 4, 39 pages.

53. G. Bezhanishvili, L. Carai, P. J. Morandi. Duality for powerset coalgebras, Logical Methods in Computer Science, 18 (2022), issue 1, article 27, 17 pages.

54. G. Bezhanishvili, P. J. Morandi, B. Olberding. A new approach to the Katetov-Tong theorem, American Mathematical Monthly, 129 (2022), pp. 66-74.

55. G. Bezhanishvili, L. Carai, P. J. Morandi. The Vietoris functor and modal operators on rings of continuous functions, Annals of Pure and Applied Logic, 173 (2022), article 103029, 23 pages.

2021

56. G. Bezhanishvili, J. Harding, M. Jibladze. Canonical extensions, free completely distributive lattices, and complete retracts, Algebra Universalis, 82 (2021), article 64, 6 pages.

57. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. The McKinsey-Tarski theorem for locally compact ordered spaces, Bulletin of Symbolic Logic, 27 (2021), pp. 187-211.

58. G. Bezhanishvili, N. Bezhanishvili, T. Moraschini, M. Stronkowski. Profiniteness and representability of spectra of Heyting algebras, Advances in Mathematics, 391 (2021), article 107959, 47 pages.

59. G. Bezhanishvili, L. Carai, P. J. Morandi. Free bounded archimedean l-algebras, Applied Categorical Structures, 29 (2021), pp. 879-888.

60. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. Characterizing existence of a measurable cardinal via modal logic, Journal of Symbolic Logic, 86 (2021), pp. 162-177.

61. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. Tree-like constructions in topology and modal logic, Archive for Mathematical Logic, 60 (2021), pp. 265-299.

62. F. Avila, G. Bezhanishvili, P. J. Morandi, A. Zaldivar. The frame of nuclei of an Alexandroff space, Order, 38 (2021), pp. 67-78.

63. G. Bezhanishvili, N. Bezhanishvili, L. Carai, D. Gabelaia, S. Ghilardi, M. Jibladze. Diego's Theorem for nuclear implicative semilattices, Indagationes Mathematicae, 32 (2021), pp. 498-535.

2020

64. G. Bezhanishvili, J. Harding. Raney algebras and duality for T0-spaces, Applied Categorical Structures, 28 (2020), pp. 963-973.

65. G. Bezhanishvili, P. J. Morandi, B. Olberding. Gelfand-Naimark-Stone duality for normal spaces and insertion theorems, Topology and Its Applications, 280 (2020), article 107256, 28 pages.

66. G. Bezhanishvili, P. J. Morandi, B. Olberding. A generalization of Gelfand-Naimark-Stone duality to completely regular spaces, Topology and Its Applications, 274 (2020), article 107123, 26 pages.

67. F. Avila, G. Bezhanishvili, P. J. Morandi, A. Zaldivar. When is the frame of nuclei spatial: A new approach, Journal of Pure and Applied Algebra, 224 (2020), article 106302, 20 pages.

68. G. Bezhanishvili, P. J. Morandi, B. Olberding. An extension of de Vries duality to normal and locally compact Hausdorff spaces, Journal of Pure and Applied Algebra, 224 (2020), pp. 703-724.

69. G. Bezhanishvili, L. Carai. Temporal interpretation of intuitionistic quantifiers, Advances in Modal Logic. Volume 13. N. Olivetti, R. Verbrugge, S. Negri, and G. Sandu, editors. College Publications, 2020, pp. 95-114.

70. G. Bezhanishvili, J. Harding. The Fell compactification of a poset, Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas. In Honor of Hung T. Nguyen's 75th Birthday. V. Kreinovich, editor. Springer, 2020, pp. 31-46.

71. G. Bezhanishvili, P.J. Morandi, B. Olberding. Specker algebras: A survey, Algebraic Techniques and Their Use in Describing and Processing Uncertainty. To the Memory of Professor Elbert A. Walker. H. Nguyen and V. Kreinovich, editors. Springer, 2020, pp. 1-19.

2019

72. G. Bezhanishvili, D. Gabelaia, J. Harding, M. Jibladze. Compact Hausdorff spaces with relations and Gleason spaces, Applied Categorical Structures 27 (2019), pp. 663-686.

73. G. Bezhanishvili, L. Carai. Characterization of metrizable Esakia spaces via some forbidden configurations, Algebra Universalis, 80 (2019), paper 42, 18 pages.

74. G. Bezhanishvili, N. Bezhanishvili, T. Santoli, Y. Venema. A strict implication calculus for compact Hausdorff spaces, Annals of Pure and Applied Logic, 170 (2019), paper 102714, 29 pages.

75. G. Bezhanishvili, W. Holliday. A semantic hierarchy for intuitionistic logic, Indagationes Mathematicae, 30 (2019), pp. 403-469.

76. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. On modal logics arising from scattered locally compact Hausdorff spaces, Annals of Pure and Applied Logic, 170 (2019), pp. 558-577.

77. G. Bezhanishvili, P. J. Morandi, B. Olberding. An extension of de Vries duality to completely regular spaces and compactifications, Topology and Its Applications, 257 (2019), pp. 85-105.

78. G. Bezhanishvili, N. Bezhanishvili, J. Ilin. Subframization and stabilization for superintuitionistic logics, Journal of Logic and Computation, 29 (2019), pp. 1-35.

2018

79. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. A new proof of the McKinsey-Tarski Theorem, Studia Logica, 106 (2018), pp. 1291-1311.

80. G. Bezhanishvili, N. Bezhanishvili, J. Ilin. Stable modal logics, Review of Symbolic Logic, 11 (2018), pp. 436-469.

81. G. Bezhanishvili, J. Harding, J. Ilin, F. Lauridsen. MacNeille transferability and stable classes of Heyting algebras, Algebra Universalis, 79 (2018), paper 55, 21 pages.

82. G. Bezhanishvili, P. J. Morandi, B. Olberding. Canonical extensions of bounded archimedean vector lattices, Algebra Universalis, 79 (2018), paper 12, 17 pages.

83. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. Tychonoff HED-spaces and Zemanian extensions of S4.3, Review of Symbolic Logic, 11 (2018), pp. 115-132.

84. G. Bezhanishvili, P. J. Morandi, B. Olberding. Pierce sheaves and commutative idempotent generated algebras, Fundamenta Mathematicae, 240 (2018), pp. 105-136.

2017

85. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. Krull dimension in modal logic, Journal of Symbolic Logic, 82 (2017), pp. 1356-1386.

86. G. Bezhanishvili, P. J. Morandi. Proximity biframes and Nachbin spaces, Applied Categorical Structures, 25 (2017), pp. 1077-1095.

87. G. Bezhanishvili, T. Moraschini, J. Raftery. Epimorphisms in varieties of residuated structures, Journal of Algebra, 492 (2017), pp. 185-211.

88. G. Bezhanishvili, N. Bezhanishvili, S. Sourabh, Y. Venema. Irreducible equivalence relations, Gleason spaces, and de Vries duality, Applied Categorical Structures, 25 (2017), pp. 381-401.

89. G. Bezhanishvili, N. Bezhanishvili. Locally finite reducts of Heyting algebras and canonical formulas, Notre Dame Journal of Formal Logic, 58 (2017), pp. 21-45.

2016

90. G. Bezhanishvili, P. J. Morandi, B. Olberding. A functorial approach to Dedekind completions and the representation of vector lattices and l-algebras by normal functions, Theory and Applications of Categories, 31 (2016), pp. 1095-1133.

91. G. Bezhanishvili, N. Bezhanishvili, J. Ilin. Cofinal stable logics, Studia Logica, 104 (2016), pp. 1287-1317.

92. G. Bezhanishvili, J. Harding. Compact Hausdorff Heyting algebras, Algebra Universalis, 76 (2016), pp. 301-304.

93. G. Bezhanishvili. Forbidden configurations and subframe varieties, Algebra Universalis, 76 (2016), pp. 237-243.

94. G. Bezhanishvili, J. Harding. On the proof that compact Hausdorff Boolean algebras are powersets, Order, 33 (2016), pp. 263-268.

95. G. Bezhanishvili, D. Gabelaia, M. Jibladze. Spectra of compact regular frames, Theory and Applications of Categories, 31 (2016), pp. 365-383.

96. G. Bezhanishvili, N. Bezhanishvili, R. Iemhoff. Stable canonical rules, Journal of Symbolic Logic, 81 (2016), pp. 284-315.

97. G. Bezhanishvili, W. Holliday. Locales, nuclei, and Dragalin frames, Advances in Modal Logic. Volume 11. Lev Beklemishev, Stephane Demri, and Andras Mate, editors. College Publications, 2016, pp. 177-196.

98. G. Bezhanishvili, N. Bezhanishvili. An algebraic approach to filtrations for superintuitionistic logics, Liber Amicorum Alberti. A tribute to Albert Visser. Jan van Eijck, Rosalie Iemhoff, and Joost Joosten, editors. College Publications, 2016, pp. 47-56.

99. J. Barnett, G. Bezhanishvili, J. Lodder, D. Pengelley. Teaching discrete mathematics entirely from primary historical sources, PRIMUS: Problems, Resources and Issues in Mathematics Undergraduate Studies, 26 (2016), pp. 657-675.

2015

100. G. Bezhanishvili, D. Pengelley. What does `less than or equal’ really mean?, American Mathematical Monthly, 122 (2015), pp. 983-989.

101. G. Bezhanishvili, D. Gabelaia, M. Jibladze, P. J. Morandi. Profinite topological spaces, Theory and Applications of Categories, 30 (2015), pp. 1841-1863.

102. G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. S4.3 and hereditarily extremally disconnected spaces, Georgian Mathematical Journal, 22 (2015), pp. 469-475.

103. G. Bezhanishvili, P. J. Morandi. Proximity biframes and compactifications of completely regular ordered spaces, Theory and Applications of Categories, 30 (2015), pp. 1469-1500.

104. G. Bezhanishvili, N. Bezhanishvili, J. Harding. Modal operators on compact regular frames and de Vries algebras, Applied Categorical Structures, 23 (2015), pp. 365-379.

105. G. Bezhanishvili, D. Gabelaia, J. Lucero-Bryan. Topological completeness of logics above S4, Journal of Symbolic Logic, 80 (2015), pp. 520-566.

106. G. Bezhanishvili, V. Marra, P. J. Morandi, B. Olberding. De Vries powers: A generalization of Boolean powers for compact Hausdorff spaces, Journal of Pure and Applied Algebra, 219 (2015), pp. 3958-3991.

107. G. Bezhanishvili, V. Marra, P. J. Morandi, B. Olberding. Idempotent generated algebras and Boolean powers of commutative rings, Algebra Universalis, 73 (2015), pp. 183-204.

108. G. Bezhanishvili, D. Gabelaia, J. Lucero-Bryan. Modal logics of metric spaces, Review of Symbolic Logic, 8 (2015), pp. 178-191.

109. G. Bezhanishvili, N. Bezhanishvili, J. Harding. Modal compact Hausdorff spaces, Journal of Logic and Computation, 25 (2015), pp. 1-35.

2014

110. G. Bezhanishvili, J. Harding. Stable compactifications of frames, Cah. Topol. Geom. Differ. Categ., 55 (2014), pp. 37–65.

111. G. Bezhanishvili, J. Harding. Proximity frames and regularization, Applied Categorical Structures, 22 (2014), pp. 43-78.

2013

112. G. Bezhanishvili. Lattice subordinations and Priestley duality, Algebra Universalis, 70 (2013), pp. 359-377.

113. G. Bezhanishvili, D. Gabelaia, M. Jibladze. Funayama’s theorem revisited, Algebra Universalis, 70 (2013), pp. 271-286.

114. G. Bezhanishvili, P. J. Morandi, B. Olberding. Bounded Archimedean l-algebras and Gelfand-Neumark-Stone duality, Theory and Applications of Categories, 28 (2013), pp. 435-475.

115. G. Bezhanishvili, R. Jansana. Esakia style duality for implicative semilattices, Applied Categorical Structures, 21 (2013), pp. 181-208.

116. G. Bezhanishvili, P. J. Morandi, B. Olberding. Dedekind completions of bounded Archimedean l-algebras, Journal of Algebra and Its Applications, 12 (2013), 1250139, 16 pp.

117. J. Barnett, G. Bezhanishvili, H. Leung, J. Lodder, D. Pengelley, I. Pivkina, D. Ranjan, M. Zack, Primary historical sources in the classroom: Discrete mathematics and computer science, Loci: Convergence (July 2013), DOI: 10.4169/loci003984.

118. G. Bezhanishvili, W. Fussner, An introduction to symbolic logic, Loci: Convergence (July 2013), DOI: 10.4169/loci003990.

119. G. Bezhanishvili, E. Landreth, An introduction to elementary set theory, Loci: Convergence (July 2013), DOI: 10.4169/loci003991.

2012

120. G. Bezhanishvili, N. Bezhanishvili. Canonical formulas for wK4, Review of Symbolic Logic, 5 (2012), pp. 731-762.

121. G. Bezhanishvili. De Vries algebras and compact regular frames, Applied Categorical Structures, 20 (2012), pp. 569-582.

122. G. Bezhanishvili, J. Lucero-Bryan. More on d-logics of subspaces of the rational numbers, Notre Dame Journal of Formal Logic, 53 (2012), pp. 319-345.

123. G. Bezhanishvili, J. Lucero-Bryan. Subspaces of Q whose d-logics do not have the FMP, Archive for Mathematical Logic, 51 (2012), pp. 661-670.

124. M. Aiello, G. Bezhanishvili, I. Bloch, V. Goranko. Logic for physical space from antiquity to present days, Synthese, 186 (2012), pp. 619-632.

125. G. Bezhanishvili, J. Harding. Modal logics of Stone spaces, Order, 29 (2012), pp. 271-292.

2011

126. G. Bezhanishvili, P. Morandi. Order-compactifications of totally ordered spaces: Revisited, Order, 28 (2011), pp. 577–592.

127. G. Bezhanishvili, P. Morandi. Priestley rings and Priestley order-compactifications, Order, 28 (2011), pp. 399–413.

128. G. Bezhanishvili, N. Bezhanishvili. An algebraic approach to canonical formulas: Modal case, Studia Logica, 99 (2011), pp. 93-125.

129. G. Bezhanishvili, R. Jansana. Priestley style duality for distributive meet-semilattices, Studia Logica, 98 (2011), pp. 83–122.

130. G. Bezhanishvili, R. Jansana. Generalized Priestley quasi-orders, Order, 28 (2011), pp. 201–220.

131. G. Bezhanishvili, P. Morandi. One-point order-compactifications, Houston Journal of Mathematics, 37 (2011), pp. 699-713.

132. G. Bezhanishvili, S. Ghilardi, M. Jibladze. An algebraic approach to subframe logics. Modal case, Notre Dame Journal of Formal Logic, 52 (2011), pp. 187–202.

133. G. Bezhanishvili, D. Gabelaia. Connected modal logics, Archive for Mathematical Logic, 50 (2011), pp. 287–317.

134. G. Bezhanishvili, L. Esakia, D. Gabelaia. Spectral and T0-spaces in d-semantics, Lecture Notes in Artificial Intelligence. N. Bezhanishvili, S. Loebner, K. Schwabe, and L. Spada, editors. Springer, 2011, pp. 16–29.

2010

135. G. Bezhanishvili, N. Bezhanishvili, D. Gabelaia, A. Kurz. Bitopological duality for distributive lattices and Heyting algebras, Mathematical Structures in Computer Science, 20 (2010), pp. 359–393.

136. G. Bezhanishvili, P. Morandi. Scattered and hereditarily irresolvable spaces in modal logic, Archive for Mathematical Logic, 49 (2010), pp. 343–365.

137. G. Bezhanishvili. Stone duality and Gleason covers through de Vries duality, Topology and Its Applications, 157 (2010), pp. 1064–1080.

138. G. Bezhanishvili, L. Esakia, D. Gabelaia. The modal logic of Stone spaces: Diamond as derivative, Review of Symbolic Logic, 3 (2010), pp. 26–40.

139. G. Bezhanishvili, L. Esakia, D. Gabelaia. K4.Grz and hereditarily irresolvable spaces, Proofs, Categories and Computations. Essays in honor of Grigori Mints. Solomon Feferman, Wilfried Sieg,  Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz, editors. College Publications, 2010, pp. 61–69.

140. L. Beklemishev, G. Bezhanishvili, T. Icard. On topological models of GLP, Ways of Proof Theory. Essays in honor of Wolfram Pohlers. Ralf Schindler, editor. Ontos Verlag, 2010, pp. 135–155.

2009

141. G. Bezhanishvili. The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Annals of Pure and Applied Logic, 161 (2009), pp. 253-267.

142. G. Bezhanishvili, N. Bezhanishvili. An algebraic approach to canonical formulas: Intuitionistic case, Review of Symbolic Logic, 2 (2009), pp. 517-549.

143. G. Bezhanishvili, P. Morandi. Profinite Heyting algebras and profinite completions of Heyting algebras, Georgian Mathematical Journal, 16 (2009), pp. 29-47.

144. G. Bezhanishvili, J. Harding. The modal logic of b(N), Archive for Mathematical Logic, 48 (2009), pp. 231-242.

145. G. Bezhanishvili. Zero-dimensional proximities and zero-dimensional compactifications, Topology and Its Applications, 156 (2009), pp. 1496-1504.

146. J. Barnett, G. Bezhanishvili, H. Leung, J. Lodder, D. Pengelley, D. Ranjan. Historical projects in discrete mathematics and computer science, Resources for Teaching Discrete Mathematics, B. Hopkins, editor. MAA, 2009, pp. 165-274.

2008

147. G. Bezhanishvili, J. Vosmaer. Comparison of MacNeille, canonical, and profinite completions, Order, 25 (2008), pp. 299-320.

148. G. Bezhanishvili, N. Bezhanishvili. Profinite Heyting algebras, Order, 25 (2008), pp. 211-227.

149. G. Bezhanishvili, N. Bezhanishvili, D. de Jongh. The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property, Logic and Logical Philosophy, 17 (2008), pp. 73-110.

150. G. Bezhanishvili, R. Mines, P. Morandi. Topo-canonical completions of closure algebras and Heyting algebras, Algebra Universalis, 58 (2008), pp. 1-34.

2007

151. J. van Benthem, G. Bezhanishvili. Modal logics of space, Handbook of Spatial Logics, M. Aiello, J. van Benthem, I. Pratt-Hartman, editors. Springer, 2007, pp. 217-297.

152. G. Bezhanishvili and S. Ghilardi. An algebraic approach to subframe logics. Intuitionistic case, Annals of Pure and Applied Logic, 147 (2007), pp. 84-100.

153. J. Harding and G. Bezhanishvili. MacNeille completions of modal algebras, Houston Journal of Mathematics, 33 (2007), pp. 355-384.

2006

154. G. Bezhanishvili, M. Gehrke, R. Mines, P. Morandi. Profinite completions and canonical extensions of Heyting algebras, Order, 23 (2006), pp. 143-161.

155. J. van Benthem, G. Bezhanishvili, B. ten Cate, D. Sarenac. Multimodal logics of products of topologies, Studia Logica, 84 (2006), pp. 369-392.

2005

156. G. Bezhanishvili, R. Grigolia. Locally finite varieties of Heyting algebras, Algebra Universalis, 54 (2005), pp. 465-473.

157. G. Bezhanishvili, L. Esakia, D. Gabelaia. Some results on modal axiomatization and definability for topological spaces, Studia Logica, 81 (2005), pp. 325-355.

158. G. Bezhanishvili, M. Gehrke. Completeness of S4 with respect to the real line: revisited, Annals of Pure and Applied Logic, 131 (2005), pp. 287-301.

159. G. Bezhanishvili, M. Gehrke, J. Harding, C. Walker, E. Walker. Varieties of algebras in fuzzy set theory, Logical, Algebraic, and Probabilistic Aspects of Triangular Norms, E. Klement and R. Mesiar, editors. Elsevier, 2005, pp. 321-344.

2004

160. J. Harding, G. Bezhanishvili. MacNeille completions of Heyting algebras, Houston Journal of Mathematics, 30 (2004), pp. 937-952.

161. G. Bezhanishvili, L. Esakia, D. Gabelaia. Modal logics of submaximal and nodec spaces, Collection of Essays Dedicated to Dick de Jongh on Occasion of His 65th Birthday, J. van Benthem, F. Veltman, A. Troelstra, A. Visser, editors. 2004, pp. 1-13.

2003

162. M. Aiello, J. van Benthem, G. Bezhanishvili. Reasoning about space: the modal way, Journal of Logic and Computation, 13 (2003), pp. 889-920.

163. J. van Benthem, G. Bezhanishvili, M. Gehrke. Euclidean hierarchy in modal logic, Studia Logica, 75 (2003), pp. 327-345.

164. G. Bezhanishvili, R. Mines, P. Morandi. Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces, Topology and Its Applications, 132 (2003), pp. 291-306.

2002

165. G. Bezhanishvili, J. Harding. Functional monadic Heyting algebras, Algebra Universalis, 48 (2002), pp. 1-10.

166. G. Bezhanishvili, R. Mines, P. Morandi. The Priestley separation axiom for scattered spaces, Order, 19 (2002), pp. 1-10.

2001

167. G. Bezhanishvili. Locally finite varieties, Algebra Universalis, 46 (2001), pp. 531-548.

168. G. Bezhanishvili. Glivenko type theorems for intuitionistic modal logics, Studia Logica, 67 (2001), pp. 89-109.

169. G. Bezhanishvili, R. Grigolia. Locally tabular extensions of MIPC, Advances in Modal Logic, Volume 2, M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, editors. CSLI, Stanford, 2001, pp. 101-120.

2000

170. G. Bezhanishvili, R. Grigolia. Subalgebras and homomorphic images of the Rieger-Nishimura lattice, Proceedings of the Institute of Cybernetics of the Georgian Academy of Sciences, Vol. 1, N1, 2000, pp. 9-16.

171. G. Bezhanishvili. Varieties of monadic Heyting algebras. Part III, Studia Logica, 64 (2000), pp. 215-256.

1999

172. G. Bezhanishvili. Varieties of monadic Heyting algebras. Part II: Duality theory, Studia Logica, 62 (1999), pp. 21-48.

1998

173. G. Bezhanishvili. Varieties of monadic Heyting algebras. Part I, Studia Logica, 61 (1998), pp. 367-402.

174. G. Bezhanishvili. Some results in monadic Heyting algebras, The Tbilisi Symposium on Logic, Language, and Computation. Selected papers. October 1995, Gudauri, Georgia. J. Ginzburg, Z. Khasidashvili, C. Vogel, J. Levy, and E. Valduvi, editors. CSLI, Stanford, 1998, pp. 251-261.

1997

175. G. Bezhanishvili, M. Zakharyaschev. Logics over MIPC, Proceedings of Sequent Calculus and Kripke Semantics for Non-Classical Logics, RIMS Kokyuroku 1021, Kyoto University, 1997, pp. 86-95.

176. G. Bezhanishvili. Modal intuitionistic logics and superintuitionistic predicate logics: correspondence theory, Proceedings of New Aspects of Non-Classical Logics and Their Kripke Semantics, RIMS Kokyuroku 1010, Kyoto University, 1997, pp. 1-6.

1995

177. G. Bezhanishvili. Monadic extensions of linear intermediate propositional logics, Logic, Methodology, and Philosophy of Science, Moscow-Obninsk, RGNF Press, 1995, Vol.II, pp. 3-6 (Russian).

Ph.D. Thesis

178. G. Bezhanishvili. An Algebraic Approach to Intuitionistic Modal Logics Over MIPC, Ph.D. Thesis (167 pages), Tokyo Institute of Technology, 1998.

Master’s Thesis

179. G. Bezhanishvili. On the Variety of Monadic Heyting Algebras, Master’s thesis (24 pages), Tbilisi State University, 1992 (Georgian).