Logic

Research Frontiers in Subatomic Logic and Fine-Grained Analysis

Investigation of logical systems that decompose atomic formulas into sub-sentential components for precise reasoning about content.

All Logic PhD categories