Autor: Rosalie Iemhoff

Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and …

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 Jon …