Logic

Research Frontiers in Fixed-Point Logics and Recursive Definitions

Studies logical systems augmented with fixed-point operators to express recursive properties and monotone inductive definitions formally.

All Logic PhD categories