Publisher
Springer International Publishing
Reference50 articles.
1. Allwein, G., & Dunn, J. M. (1993). Kripke models for linear logic. The Journal of Symbolic Logic, 58(2), 514–545.
2. Allwein, G., & Hartonas, C. (1993). Duality for bounded lattices. Indiana University Logic Group, Preprint Series, IULG–93–25.
3. Aull, C. E., & Thron, W. J. (1962). Separation axioms between T$$_0$$ and T$$_1$$. Indagationes Mathematicae (Proceedings), 65, 26–37.
4. Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2020). Tree-like constructions in topology and modal logic. Archive for Mathematical Logic. https://doi.org/10.1007/s00153-020-00743-6.
5. Bezhanishvili, G., Esakia, L., & Gabelaia, D. (2005). Some results on modal axiomatization and definability for topological spaces. Studia Logica, 81, 325–355.