Author:
Bezhanishvili Guram,Lucero-Bryan Joel
Reference25 articles.
1. [1] Abashidze, M. A., “Some properties of Magari algebras” (in Russian), pp. 111–127 in Studies in Logic and Semantics, “Metsniereba,” Tbilisi, 1981.
2. [2] Beklemishev, L., G. Bezhanishvili, and T. Icard, “On topological models of GLP,” pp. 135–155 in Ways of Proof Theory, essays in honor of Wolfram Pöhlers, edited by R. Schindler, vol. 2 of Ontos Mathematical Logic, Ontos, Heusenstamm, 2010.
3. [3] van Benthem, J., and G. Bezhanishvili, “Modal logics of space,” pp. 217–298 in Handbook of Spatial Logics, Springer, Dordrecht, 2007.
4. [4] Bezhanishvili, G., L. Esakia, and D. Gabelaia, “Some results on modal axiomatization and definability for topological spaces,” Studia Logica, vol. 81 (2005), pp. 325–355.
5. [5] Bezhanishvili, G., L. Esakia, and D. Gabelaia, “The modal logic of Stone spaces: Diamond as derivative,” Review of Symbolic Logic, vol. 3 (2010), pp. 26–40.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fixed Point Logics on Hemimetric Spaces;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Spatial logic of tangled closure operators and modal mu-calculus;Annals of Pure and Applied Logic;2017-05
3. TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4;The Journal of Symbolic Logic;2015-04-22
4. Derivational Modal Logics with the Difference Modality;Leo Esakia on Duality in Modal and Intuitionistic Logics;2014
5. Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP;Archive for Mathematical Logic;2012-05-29