Logic

Research Frontiers in Fixpoint Logic and Least Fixed Points

Analysis of logical systems augmented with fixpoint operators for expressing recursive predicates, program semantics, and inductive definitions.

All Logic PhD categories