This book develops a novel generalization of possible world semantics, called 'world line semantics', which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics....