76 citations · 102 across the 14 of their papers we have counts for
1 paper · 2 filters
Lev D. Beklemishev, David Gabelaia
Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopologi…