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