This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound

Nicholas F. Stang explores Kant's theory of possibility, from the precritical period of the 1750-60s to the Critical system initiated by the Critique of Pure Re

Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessi

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathema

Up-to-date and comprehensive study of a major topic in philosophy The first critical account of forty years of literature on possible worlds A huge topic in ana