S4. 3 and hereditarily extremally disconnected spaces G Bezhanishvili, N Bezhanishvili, J Lucero-Bryan, J van Mill Georgian Mathematical Journal 22 (4), 469-475, 2015 | 20 | 2015 |
The d-logic of the real line JG Lucero-Bryan Journal of Logic and Computation 23 (1), 121-156, 2013 | 18 | 2013 |
Krull dimension in modal logic G Bezhanishvili, N Bezhanishvili, J Lucero-Bryan, J van Mill The Journal of Symbolic Logic 82 (4), 1356-1386, 2017 | 13 | 2017 |
Modal logics of metric spaces G Bezhanishvili, D Gabelaia, J Lucero-Bryan The Review of Symbolic Logic 8 (01), 178-191, 2015 | 13 | 2015 |
More on d-logics of subspaces of the rational numbers G Bezhanishvili, J Lucero-Bryan Notre Dame Journal of Formal Logic 53 (3), 319-345, 2012 | 10 | 2012 |
The d-logic of the rational numbers: a fruitful construction J Lucero-Bryan Studia Logica 97 (2), 265-295, 2011 | 10 | 2011 |
A New Proof of the McKinsey–Tarski Theorem J Mill, J Lucero-Bryan, N Bezhanishvili, G Bezhanishvili Studia Logica 106 (6), 1291-1311, 2018 | 9 | 2018 |
On modal logics arising from scattered locally compact Hausdorff spaces G Bezhanishvili, N Bezhanishvili, J Lucero-Bryan, J van Mill Annals of Pure and Applied Logic 170 (5), 558-577, 2019 | 5 | 2019 |
Tychonoff hed-spaces and Zemanian extensions of s4. 3 G Bezhanishvili, N Bezhanishvili, J Lucero-Bryan, J Van Mill The Review of Symbolic Logic 11 (1), 115-132, 2018 | 3 | 2018 |
Topological completeness of logics above S4 G Bezhanishvili, D Gabelaia, J Lucero-Bryan The Journal of Symbolic Logic 80 (02), 520-566, 2015 | 3 | 2015 |
Modal Logics of Some Subspaces of the Real Numbers: Diamond as Derivative JG Lucero-Bryan New Mexico State University, 2010 | 2 | 2010 |
Subspaces of whose d-logics do not have the FMP G Bezhanishvili, J Lucero-Bryan Archive for Mathematical Logic, 1-10, 2012 | 1 | 2012 |
Trees and Topological Semantics of Modal Logic G Bezhanishvili, N Bezhanishvili, J Lucero-Bryan SYSMICS2019, 42, 2019 | | 2019 |
Modal Logics of Tychonoff HED-spaces G Bezhanishvili, N Bezhanishvili, J Lucero-Bryan, J van Mill ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 41-41, 2017 | | 2017 |
Topological completeness of extensions of S4. G Bezhanishvili, D Gabelaia, J Lucero-Bryan TACL, 27-30, 2013 | | 2013 |