7 citations · 19 across the 17 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…