David Gabelaia
Identifiers
- name variant David Gabelaia 0.60 · backfill
Papers (4)
- Modal logic of planar polygons math.LO · 2018 · author #1
- Topological completeness of logics above S4 math.LO · 2013 · author #2
- Topological interpretations of provability logic math.LO · 2012 · author #2
- Topological completeness of the provability logic GLP math.LO · 2011 · author #2
Mentions
Frequent Coauthors
- Evgeny Kuznetsov 1 shared papers
- Guram Bezhanisevili 1 shared papers
- Joel Lucero-Bryan 1 shared papers
- Kristina Gogoladze 1 shared papers
- Lev Beklemishev 1 shared papers
- Lev D. Beklemishev 1 shared papers
- Maarten Marx 1 shared papers
- Mamuka Jibladze 1 shared papers