David Gabelaia

34 papers B 2C 2Misc 1Journal 23Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. Log. Methods Comput. Sci. Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	B	`ed.`	Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. AiML Agata Ciabattoni, David Gabelaia, Igor Sedlár
2024	B	`conf`	Logics of Polyhedral Reachability. AiML Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
2024	J	`jnl`	Logics of polyhedral reachability. CoRR Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
2024	J	`jnl`	Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
2024	J	`jnl`	Temporal logic of surjective bounded morphisms between finite linear processes. J. Appl. Non Class. Logics David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia
2024	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. CoRR Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	C	`conf`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS FORTE Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	J	`jnl`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2023	C	`conf`	On Bisimilarity for Polyhedral Models and SLCS. FORTE Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
2022	J	`jnl`	A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras. J. Math. Log. Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
2022	J	`jnl`	Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2021	J	`jnl`	Geometric Model Checking of Continuous Space. CoRR Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2019	J	`jnl`	Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
2017	—	`conf`	An Axiomatization of the d-logic of Planar Polygons. TbiLLC David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia
2016	J	`jnl`	Admissible Bases Via Stable Canonical Rules. Stud Logica Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze
2015	J	`jnl`	Modal Logics of Metric Spaces. Rev. Symb. Log. Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2015	J	`jnl`	Topological Completeness of Logics above S4. J. Symb. Log. Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2013	—	`conf`	Funayama's theorem revisited. TACL Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
2013	—	`conf`	Topological completeness of extensions of S4. TACL Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2013	J	`jnl`	Topological completeness of the provability logic GLP. Ann. Pure Appl. Log. Lev D. Beklemishev, David Gabelaia
2011	J	`jnl`	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2011	J	`jnl`	Connected modal logics. Arch. Math. Log. Guram Bezhanishvili, David Gabelaia
2010	J	`jnl`	Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
2010	J	`jnl`	The Modal Logic of Stone Spaces: diamond as derivative. Rev. Symb. Log. Guram Bezhanishvili, Leo Esakia, David Gabelaia
2009	—	`ed.`	Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers TbiLLC Peter Bosch, David Gabelaia, Jérôme Lang
2009	J	`jnl`	Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Log. Balder ten Cate, David Gabelaia, Dmitry Sustretov
2009	—	`conf`	Spectral and TbiLLC Guram Bezhanishvili, Leo Esakia, David Gabelaia
2006	J	`jnl`	Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Log. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	Products of 'transitive' modal logics. J. Symb. Log. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	Some Results on Modal Axiomatization and Definability for Topological Spaces. Stud Logica Guram Bezhanishvili, Leo Esakia, David Gabelaia
2003	Misc	`conf`	On the Computational Complexity of Spatio-Temporal Logics. FLAIRS David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
1999	—	`conf`	Modal Systems GL and Grz: Semantical Comparison. ESSLLI Student Papers David Gabelaia