Logic

Research Frontiers in Uniform Interpolation and Module Systems

Development of interpolation properties for modular reasoning in logical systems with application to proof reuse.

All Logic PhD categories