03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25] 296