Logic

Research Frontiers in Strategy Logic and Explicit Action Quantification

Formalizes reasoning about strategies in multi-agent games by quantifying over strategy profiles alongside temporal properties.

All Logic PhD categories