Big, but not unruly: Tractable norms for anonymous game structures

Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak

We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures comp…