This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy : that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logicia…