Modal Logics between S4 and S5