Logic

Research Frontiers in Infinitary Logic and Transfinite Quantification

Extends first-order logic with infinite conjunctions, disjunctions, and transfinite quantification for stronger expressiveness.

All Logic PhD categories