ردهها book Journal of Mathematical Logic and Fundamentals of Mathematics (1959) 1.10.2307/2270800 10.2307/2270800 10.2307/2270800Modal Logics between S4 and S5✹