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
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
https://portal.mardi4nfdi.de/entity/Q2808148	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Gabelaia