History and evolution 1920 1930 1940 1950 1960 1970 1980 1990 2000 Michael Dummett Edward John Lemmon Modal Logics between S4 and S5 Propositional modal logic