Joel Lucero-Bryan

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 7

Top Topics

Arbitrarily Oriented

Topology Preservation

Prime Implicates

Top Venues

Arch. Math. Log.

Rev. Symb. Log.

Bull. Symb. Log.

Publications

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tree-like constructions in topology and modal logic. Arch. Math. Log. 60 (3-4) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. 86 (1) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. 27 (2) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. 170 (5) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
A New Proof of the McKinsey-Tarski Theorem. Stud Logica 106 (6) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. 11 (1) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Krull Dimension in Modal Logic. J. Symb. Log. 82 (4) (2017)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological Completeness of Logics above S4. J. Symb. Log. 80 (2) (2015)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Modal Logics of Metric Spaces. Rev. Symb. Log. 8 (1) (2015)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological completeness of extensions of S4. TACL (2013)
Guram Bezhanishvili, Joel Lucero-Bryan
Subspaces of Q whose d-logics do not have the FMP. Arch. Math. Log. 51 (5-6) (2012)
Guram Bezhanishvili, Joel Lucero-Bryan
More on d-Logics of Subspaces of the Rational Numbers. Notre Dame J. Formal Log. 53 (3) (2012)
Joel Lucero-Bryan
The d-Logic of the Rational Numbers: A Fruitful Construction. Stud Logica 97 (2) (2011)