Dick de Jongh on Intuitionistic and Provability Logics

This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh’s original contributions and consequent developments that have helped to shape these fields.

The book begins with an autobiographic note by Dick de Jongh, which discusses the main themes of his work and p...