Sheaves, Games, and Model Completions

by Silvio Ghilardi

This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the struct…