Logic and Reality

A. N. Prior has a special place in recent philosophy for his highly original work at the intersection of logic and metaphysics. His logical innovations have found many applications in the areas of philosophical logic, mathematics, linguistics, and, increasingly, computer science. In addition, he made seminal contributions to debates in metaphysics, particularly on modality and the nature of time. This volume presents new contemporary research in the areas that were of most interest to Prior: temporal and tense logic, modal logic, proof theory, quantification and individuation, and the logic…