( en | de | ru )

 

Disambiguation of "Gabelaia, David"

Author of the publication

copydeleteadd this publication to your clipboard
Modal languages for topology: Expressivity and definability.

, , and . Ann. Pure Appl. Log., 159 (1-2): 146-170 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jens-Ulrich Davids

Joachim David

Wahyudi David

Florian Bodo David

Heinz David

 

Other publications of authors with the same name

Spectral and T0-Spaces in d-Semantics., , and . TbiLLC, volume 6618 of Lecture Notes in Computer Science, page 16-29. Springer, (2009)On Bisimilarity for Polyhedral Models and SLCS., , , , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 132-151. Springer, (2023)Some Results on Modal Axiomatization and Definability for Topological Spaces., , and . Stud Logica, 81 (3): 325-355 (2005)Funayama's theorem revisited., , and . TACL, volume 25 of EPiC Series in Computing, page 22-26. EasyChair, (2013)Modal Systems GL and Grz: Semantical Comparison.. ESSLLI Student Papers, page 103-110. Universiteit Utrecht Press, (1999)An Axiomatization of the d-logic of Planar Polygons., , , , and . TbiLLC, volume 11456 of Lecture Notes in Computer Science, page 147-165. Springer, (2017)Compact Hausdorff Spaces with Relations and Gleason Spaces., , , and . Appl. Categorical Struct., 27 (6): 663-686 (2019)Modal languages for topology: Expressivity and definability., , and . Ann. Pure Appl. Log., 159 (1-2): 146-170 (2009)Topological completeness of extensions of S4., , and . TACL, volume 25 of EPiC Series in Computing, page 27-30. EasyChair, (2013)A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras., , and . J. Math. Log., 22 (3): 2250013:1-2250013:21 (2022)