Logic

Research Frontiers in Bunched Implication and Spatial Reasoning

Exploration of logical systems combining additive and multiplicative connectives for spatial and resource-based inference.

All Logic PhD categories