Doxastic Attitudes for Reasoning over Multi-Agent Domains