7 citations · 19 across the 17 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.LO2012
Topological interpretations of provability logic
Lev Beklemishev, David Gabelaia
Provability logic concerns the study of modality as provability in formal systems such as Peano arithmetic. Natural, albeit quite surprising, topological interpretation of p…
math.LO2012★ 4 cited
On provability logics with linearly ordered modalities
Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten
We introduce the logics GLP(Λ), a generalization of Japaridze's polymodal provability logic GLP(ω) where Λis any linearly ordered set representing a hierarchy of provability operat…