Document Type

Conference Proceeding

Journal/Book Title/Conference

17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 18)



Publication Date

Summer 7-10-2018

Department or Program

Computer Science Department


The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes the notion of a second-order know-how strategy for the case when one coalition knows what the strategy of another coalition is. The main technical result is a sound and complete logical system describing the interplay between the distributed knowledge modality and the second-order coalition know-how modality.