Temporal logics for normative agent communication protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS ’05