Logic

Research Frontiers in Logics of Agency and Intentionality

Formal investigation of agent capabilities, intentions, desires, and rational action through multi-modal logics and agent programming frameworks.

All Logic PhD categories