Logic

Research Frontiers in Bunched Logic and Contextual Reasoning

Studies logical systems combining additive and multiplicative connectives to handle both independent and shared resources in formal reasoning.

All Logic PhD categories