Logic

Research Frontiers in Computationally Complete Logical Systems

Investigates logical systems achieving computational completeness and expressive power equivalent to Turing machines through logical primitives.

All Logic PhD categories