Reducing the complexity of logics for multiagent systems

Theories of multiagent systems (MAS), in particular those based on modal logics, often suffer from a high computational complexity. This is due in part to the combination of agents' individual attitudes (beliefs, goals and intentions), and even more importantly to the presence of group attitudes, such as common belief and collective intention.