Abstract If an agent, or a coalition of agents, knows that it has a strategy to achieve a certain outcome, it does not mean that the agent knows what the strategy is. Even if the agent knows what the strategy is, she might not know the price of executing this strategy. The article considers modality “the coalition not only knows the strategy, but also knows an upper bound on the price of executing the strategy”. The main technical result is a sound and complete bimodal logical system that describes the interplay between this modality and the distributed knowledge modality.

中文翻译：

---

了解成功的代价

摘要 如果一个代理或一个代理联盟知道它有实现某个结果的策略，这并不意味着该代理知道该策略是什么。即使代理知道策略是什么，她也可能不知道执行该策略的代价。文章认为模态“联盟不仅知道策略，而且知道执行策略的价格的上限”。主要的技术成果是一个健全而完整的双模态逻辑系统，它描述了这种模态与分布式知识模态之间的相互作用。