2000 character limit reached
Duty to Warn in Strategic Games (1912.02759v2)
Published 8 Nov 2019 in cs.AI and cs.LO
Abstract: The paper investigates the second-order blameworthiness or duty to warn modality "one coalition knew how another coalition could have prevented an outcome". The main technical result is a sound and complete logical system that describes the interplay between the distributed knowledge and the duty to warn modalities.