Logic

Research Frontiers in Action Logic and Propositional Dynamic Logic

Develops logical systems for reasoning about programs and actions where modal operators are parameterized by action specifications.

All Logic PhD categories