#accessibility-relation

? How did Kripke’s possible worlds turn S4 and S5 from arbitrary axioms into something meaningful?

I've been reading about modal logic for fun. I understand the operators. What I don't understand is the history I keep seeing summarised: C. I. Lewis invented several systems, S1 to S5, with different axioms; nobody could say which was "correct" or…