Concepedia

David Gabelaia

DG

13

Publications

452

Citations

11

H-Index

2003

Active since

Affiliations

King's College London(Current)

New Mexico State University

University of Amsterdam

University of Liverpool

Mathematical Institute of the Slovak Academy of Sciences

David Gabelaia is an author at King's College London specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsFormal VerificationLanguageLinguisticsDesignGeometry

Publications per year

2003–2022

13

Publications

13

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

David Gabelaia, Roman Kontchakov, Agi Kurucz et al. · Journal of Artificial Intelligence Research · 2005 · 75 citations · Full text

Applied Logic, Engineering, Semantics +17

Some Results on Modal Axiomatization and Definability for Topological Spaces

Guram Bezhanishvili, Leo Esakia, David Gabelaia · Studia Logica · 2005 · 65 citations

Classical Logic, Set-theoretic Topology, Topological Algebra +3

Bitopological duality for distributive lattices and Heyting algebras

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia et al. · Mathematical Structures in Computer Science · 2010 · 64 citations · Full text

Lattice Theory, Algebraic Logic, Abstract Algebra +7

Products of ‘transitive” modal logics

David Gabelaia, Agi Kurucz, Frank Wolter et al. · Journal of Symbolic Logic · 2005 · 44 citations

Engineering, Automated Reasoning, Kripke Incomplete Commutators +12

Non-primitive recursive decidability of products of modal logics with expanding domains

David Gabelaia, Agi Kurucz, Frank Wolter et al. · Annals of Pure and Applied Logic · 2006 · 42 citations · Full text

Non-classical Logic, Engineering, Substructural Logic +9

Rows per page

1–5 of 13