Logic

Research Frontiers in Coalgebraic Logic and Systems Semantics

Develops uniform framework for temporal and modal logics using coalgebraic structures for reactive systems.

All Logic PhD categories