2000 character limit reached
The Limits of Morality in Strategic Games (1901.08467v1)
Published 22 Jan 2019 in cs.AI, cs.GT, cs.LO, and math.LO
Abstract: A coalition is blameable for an outcome if the coalition had a strategy to prevent it. It has been previously suggested that the cost of prevention, or the cost of sacrifice, can be used to measure the degree of blameworthiness. The paper adopts this approach and proposes a modal logical system for reasoning about the degree of blameworthiness. The main technical result is a completeness theorem for the proposed system.