Joel Lucero-Bryan

According to our database, Joel Lucero-Bryan authored at least 14 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Characterizing existence of a Measurable cardinal via Modal Logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

J. Symb. 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

Tree-like constructions in topology and modal logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Arch. Math. Log., 2021

2019

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

2018

A New Proof of the McKinsey-Tarski Theorem.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Stud Logica, 2018

Tychonoff HED-Spaces and Zemanian Extensions of S4.3.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Rev. Symb. Log., 2018

2017

Krull Dimension in Modal Logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

J. Symb. Log., 2017

2015

Modal Logics of Metric Spaces.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Rev. Symb. Log., 2015

Topological Completeness of Logics above S4.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

J. Symb. Log., 2015

2013

The d-logic of the real line.

Joel Gregory Lucero-Bryan

J. Log. Comput., 2013

Topological completeness of extensions of S4.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

More on d-Logics of Subspaces of the Rational Numbers.

Guram Bezhanishvili, Joel Lucero-Bryan

Notre Dame J. Formal Log., 2012

Subspaces of Q whose d-logics do not have the FMP.

Guram Bezhanishvili, Joel Lucero-Bryan

Arch. Math. Log., 2012

2011

The d-Logic of the Rational Numbers: A Fruitful Construction.

Joel Lucero-Bryan

Stud Logica, 2011