The Structure and Verification of Plan-Based Joint Intentions
Wolfgang Balzer, Raimo Tuomela · International Journal of Cooperative Information Systems · 1997
Tuomela's philosophical account of joint intentions is formalized in a special setting in which fully specified plans are available for the execution of the intended joint action. Using additional modal logical assumptions the definition is simplified and used to investigate how the presence of a joint intention can be efficiently checked.