The author establishes the finite frame property for CS4, IS4, GS4, GS4c, and S4I modal logics through birelational semantics.
