Logic

Research Frontiers in Spatial Logic and Topological Semantics

Develops formal systems for reasoning about spatial relationships and topological properties using modal and dynamic logical frameworks.

All Logic PhD categories