For his 1992 doctoral thesis, Wooldridge developed a family of logics for representing the properties of multi-agent systems [Wooldridge and Fisher, 1992][Wooldridge, 1992]. Unlike the approaches cited above, Wooldridge's aim was not to develop a general framework for agent theory. Rather, he hoped to construct formalisms that might be used in the specification and verification of realistic multi-agent systems. To this end, he developed a simple, and in some sense general, model of multi-agent systems, and showed how the histories traced out in the execution of such a system could be used as the semantic foundation for a family of both linear and branching time temporal belief logics. He then gave examples of how these logics could be used in the specification and verification of protocols for cooperative action.