David Gabelaia

Available identifiers

zbMath Open gabelaia.davidMaRDI QIDQ284228

List of research outcomes

Publication	Date of Publication	Type
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION	2024-04-05	Paper
On bisimilarity for polyhedral models and \texttt{SLCS}	2024-01-11	Paper
The Intermediate Logic of Convex Polyhedra	2023-07-31	Paper
Geometric Model Checking of Continuous Space	2023-01-09	Paper
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras	2022-12-13	Paper
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras	2021-04-13	Paper
Diego's theorem for nuclear implicative semilattices	2021-03-14	Paper
Compact Hausdorff spaces with relations and Gleason spaces	2019-12-06	Paper
Modal logic of planar polygons	2018-07-08	Paper
Spectra of compact regular frames	2016-05-26	Paper
Admissible bases via stable canonical rules	2016-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q3456347	2015-12-14	Paper
Topological completeness of the provability logic GLP	2015-08-27	Paper
TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4	2015-08-14	Paper
Topological Interpretations of Provability Logic	2015-06-19	Paper
MODAL LOGICS OF METRIC SPACES	2015-04-24	Paper
Funayama's theorem revisited	2013-12-23	Paper
Spectral and T 0-Spaces in d-Semantics	2011-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q3001093	2011-05-31	Paper
Connected modal logics	2011-05-11	Paper
Bitopological duality for distributive lattices and Heyting algebras	2010-06-02	Paper
THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE	2010-04-01	Paper
Modal languages for topology: expressivity and definability	2009-06-10	Paper
Non-primitive recursive decidability of products of modal logics with expanding domains	2006-09-14	Paper
Some results on modal axiomatization and definability for topological spaces	2006-03-17	Paper
Products of ‘transitive” modal logics	2006-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5715695	2006-01-04	Paper

Research outcomes over time

This page was built for person: David Gabelaia