Logic

Research Frontiers in Bunched Implication and Spatial Logic

Study of logical systems combining classical and intuitionistic implications for reasoning about spatial and resource-sensitive properties.

All Logic PhD categories