1

2

3 Table of Contents: “...Intuitionistic Logic -- Dialogues as a Foundation for Intuitionistic Logic -- Free Logics -- More...”

4 Table of Contents: “... and Entailment -- III.4. Intuitionistic Logic -- III.5. Dialogues as a Foundation for Intuitionistic Logic -- III...”

5 Table of Contents: “... and other Theories -- Tableaux for Intuitionistic Logics -- Tableau Methods for Modal and Temporal Logics...”

6 “..., intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial...”