Mathematical Logic Foundations

Research Frontiers in Coalgebra and Coinduction in Logic

Research on coalgebraic methods for reasoning about infinite structures and coinductive definitions in formal logic.

All Mathematical Logic & Foundations PhD categories