On obligations and normative ability: To
✍
Michael Wooldridge; Wiebe van der Hoek
📂
Article
📅
2005
🏛
Elsevier Science
🌐
English
⚖ 385 KB
We develop a logic of normative ability, as an extension to the Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman. While conventional ATL contains cooperation modalities of the form C ϕ, intended to express the fact that coalition C have the capability to bring about ϕ, in Norm