Duty to Warn in Strategic Games
arXiv:1912.02759v26 citations
AI Analysis
This work addresses a foundational issue in multi-agent systems for researchers in logic and game theory, but it is incremental as it builds on existing modal logic frameworks.
The paper tackles the problem of formalizing second-order blameworthiness in strategic games, specifically the duty to warn modality, and provides a sound and complete logical system to describe its interplay with distributed knowledge.
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.