A type of dynamic logic that models strategic interactions and decision-making between multiple agents.