Modal logic of planar polygons D Gabelaia, K Gogoladze, M Jibladze, E Kuznetsov, M Marx arXiv preprint arXiv:1807.02868, 2018 | 8 | 2018 |
Characterization of flat polygonal logics D Gabelaia, M Jibladze, E Kuznetsov, L Uridia TACL 2019, 86, 2019 | 4 | 2019 |
An Axiomatization of the d-logic of Planar Polygons D Gabelaia, K Gogoladze, M Jibladze, E Kuznetsov, L Uridia Language, Logic, and Computation: 12th International Tbilisi Symposium …, 2019 | 3 | 2019 |
Properties of Local Homeomorphisms of Stone spaces and Priestley spaces E Kuznetsov ¼ pª| p© Ú N| ª| À# ªÀÆ ÆÊÆ ¼ 1| v 1pª Êp pª© ¹ÊÆpÆ ª Wª Ó ¼À ÆÚ© ÀÆ …, 2023 | 2 | 2023 |
Temporal logic of surjective bounded morphisms between finite linear processes D Gabelaia, E Kuznetsov, RC Mihailescu, K Razmadze, L Uridia Journal of Applied Non-Classical Logics 34 (1), 1-30, 2024 | | 2024 |
Etale Heyting algebras E Kuznetsov | | |
Flat Polygonal Logics in d-Semantics D Gabelaia, M Jibladze, E Kuznetsov, L Uridia | | |