Joel Lucero-Bryan

13 papers Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Characterizing existence of a Measurable cardinal via Modal Logic.
J. Symb. Log.
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2021 J jnl
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces.
Bull. Symb. Log.
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2021 J jnl
Tree-like constructions in topology and modal logic.
Arch. Math. Log.
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2019 J jnl
On modal logics arising from scattered locally compact Hausdorff spaces.
Ann. Pure Appl. Log.
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2018 J jnl
A New Proof of the McKinsey-Tarski Theorem.
Stud Logica
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2018 J jnl
Tychonoff HED-Spaces and Zemanian Extensions of S4.3.
Rev. Symb. Log.
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2017 J jnl
Krull Dimension in Modal Logic.
J. Symb. Log.
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2015 J jnl
Modal Logics of Metric Spaces.
Rev. Symb. Log.
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2015 J jnl
Topological Completeness of Logics above S4.
J. Symb. Log.
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2013 — conf
Topological completeness of extensions of S4.
TACL
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2012 J jnl
More on d-Logics of Subspaces of the Rational Numbers.
Notre Dame J. Formal Log.
Guram Bezhanishvili, Joel Lucero-Bryan
2012 J jnl
Subspaces of Q whose d-logics do not have the FMP.
Arch. Math. Log.
Guram Bezhanishvili, Joel Lucero-Bryan
2011 J jnl
The d-Logic of the Rational Numbers: A Fruitful Construction.
Stud Logica
Joel Lucero-Bryan