Logic

Research Frontiers in Logical Frameworks and Meta-Logic

Development of frameworks for formalizing logics themselves as formal systems with higher-order quantification and unification.

All Logic PhD categories