Reachability and Properties of Relations

The semantics of possible worlds is defined by the reachability relation between worlds. Its properties shape the interpretation of necessity and possibility, distinguishing various axiomatic systems