Abstract

Bimodal provability logic GLB, introduced by G. Japaridze, currently plays an important role in the applications of provability logic to proof-theoretic analysis. Its topological semantics interprets diamond modalities as derived set operators on a scattered bitopological space. We study the question of completeness of this logic w.r.t. the most natural
... read more