A Temporal Logic of Normative Systems

Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge. A Temporal Logic of Normative Systems. In David Makinson, Jacek Malinowski, Heinrich Wansing, editors, Towards Mathematical Philosophy. Volume 28 of Trends in logic, pages 69-106, Springer, 2009. [doi]

Abstract

Abstract is missing.