Bisimulation quotients of Veltman models

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

Changing the order of summation for series beyond omega