1 “... hybrid that “crossbreeds” topology (Stone spaces) and order (Kripke frames), resulting in the structures...”

2 Table of Contents: “... -- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia -- Derivational modal...”