A course on bimodal provability logic Original Research Article

1. (i) the frame-theory of certain bimodal provability logics involving the reflection principle and we study 2. (ii) certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms.