In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Belnap’s work on these topics:…