On Provability Logics with Linearly Ordered Modalities

Lev D. Beklemishev, David Fernández Duque, Joost J. Joosten. On Provability Logics with Linearly Ordered Modalities. Studia Logica, 102(3):541-566, 2014. [doi]

Abstract

Abstract is missing.