Author:David Gabelaia

Publications
Topological completeness of extensions of S4 Guram Bezhanishvili, David Gabelaia and Joel Lucero-Bryan In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Funayama's theorem revisited Guram Bezhanishvili, David Gabelaia and Mamuka Jibladze In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic