Logic

Research Frontiers in Polyadic Modal Logic and Multi-Agent Systems

Development of modal logics with polyadic operators for reasoning about knowledge and action in multiple agent scenarios.

All Logic PhD categories