Rolling down the River: Saul Kripke and the course of modal logic
Johan van Benthem

Abstract:
We discuss Kripke's seminal 1963 paper 'Semantical Considerations on
Modal Logic', and sketch the subsequent history of modal logic,
including its shifting role in the field of logic as a whole.