The d-Logic of the Rational Numbers: A Fruitful Construction. - Joel Lucero-Bryan (Stud Logica, 2011)

Subspaces of Q whose d-logics do not have the FMP. - Guram Bezhanishvili; Joel Lucero-Bryan (Arch. Math. Log., 2012)

More on d-Logics of Subspaces of the Rational Numbers. - Guram Bezhanishvili; Joel Lucero-Bryan (Notre Dame J. Formal Log., 2012)

Topological completeness of extensions of S4. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (TACL, 2013)

The d-logic of the real line. - Joel Gregory Lucero-Bryan (J. Log. Comput., 2013)

Topological Completeness of Logics above S4. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (J. Symb. Log., 2015)

Modal Logics of Metric Spaces. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (Rev. Symb. Log., 2015)

Krull Dimension in Modal Logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (J. Symb. Log., 2017)

Tychonoff HED-Spaces and Zemanian Extensions of S4.3. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Rev. Symb. Log., 2018)

A New Proof of the McKinsey-Tarski Theorem. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Stud Logica, 2018)

On modal logics arising from scattered locally compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Ann. Pure Appl. Log., 2019)

Tree-like constructions in topology and modal logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Arch. Math. Log., 2021)

The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Bull. Symb. Log., 2021)

Characterizing existence of a Measurable cardinal via Modal Logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (J. Symb. Log., 2021)