collaborators

1 paper

math.LO2024

Periodic frames

Lev D. Beklemishev, Yunsong Wang

Polymodal provability logic GLP is incomplete w.r.t. Kripke frames. It is known to be complete w.r.t. topological semantics, where the diamond modalities correspond to topological…