Mathematics
Lattices
A fundamental non-classical logic
2022. Forthcoming in Logics.
2022. Advances in Modal Logic, Vol. 14.
Three roads to complete lattices: orders, compatibility, polarity
2021. Algebra Universalis. Publisher's version.
with Nick Bezhanishvili
2020. The Journal of Symbolic Logic. Publisher's version.
Locales, Nuclei, and Dragalin Frames
with Guram Bezhanishvili
2016. Advances in Modal Logic, Vol. 11.
Sets
The Logic of Comparative Cardinality
with Matthew Harrison-Trainor and Yifeng Ding
2020. The Journal of Symbolic Logic. Publisher's version.
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
2016. Studia Logica. Publisher's version.
Intuitionistic Logic
A Semantic Hierarchy for Intuitionistic Logic
with Guram Bezhanishvili
2019. Indagationes Mathematicae. Publisher's version.
Locales, Nuclei, and Dragalin Frames
with Guram Bezhanishvili
2016. Advances in Modal Logic, Vol. 11.