Logic and Reality

Logic and Reality is a collection of essays by philosophers, logicians, mathematicians, and computer scientists, celebrating the work of the distinguished philosopher Arthur Prior. Topics range from philosophical discussions of the nature of time and of the nature of logic iteself, to descriptions of computer systems that can reason and take account of the fact that they exist in a temporal world.