Logic

Research Frontiers in Second-Order Logic and Higher-Order Quantification

Investigates logical systems allowing quantification over predicates and functions with implications for expressiveness and decidability.

All Logic PhD categories