Mathematical Logic Foundations

Research Frontiers in Game Semantics and Logical Games

Development of game-theoretic semantics for logics and programming languages with applications to cut elimination and normalization.

All Mathematical Logic & Foundations PhD categories