  For some reason, the multi-agent case did not occur to philosophical logicians.[36]  This is another example of the way in which need for an application (in this case, the need for a theory of distributed systems) provided the inspiration for an important logical development. The logical details are extensively and systematically  recorded in  Fagin et al. 1995;  this is essential reading for anyone seriously interested in this topic.