ABSTRACT
We extend our work that uses atl to reason about social laws. In a system with social laws, every agent is supposed to refrain from performing certain forbidden actions. Rather than assuming that all agents abide to the law, we reason about what happens if certain agents do, i.e., they act socially, while others don’t. In particular, we are interested in the strategic abilities, under such mixed conditions. We also compare our approach with one in which labels are added to atl that record whether agents behaved socially or not.
