Logic

Research Frontiers in Hyperintensional Logic and Fine-Grained Properties

Develops logical frameworks distinguishing propositions that are necessarily equivalent but differ in more fine-grained properties and structure.

All Logic PhD categories