{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T19:39:51Z","timestamp":1792870791950,"version":"4.5.0"},"publisher-location":"Dordrecht","reference-count":31,"publisher":"Springer Netherlands","isbn-type":[{"value":"9781402090837","type":"print"},{"value":"9781402090844","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-4020-9084-4_5","type":"book-chapter","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T12:51:27Z","timestamp":1226062287000},"page":"69-106","source":"Crossref","is-referenced-by-count":9,"title":["A Temporal Logic of Normative Systems"],"prefix":"10.1007","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wiebe","family":"van\u00a0der Hoek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan A.","family":"Rodr\u00edguez-Aguilar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carles","family":"Sierra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Alur, R., Henzinger, T., Computer-aided verification, 1999. Manuscript."},{"issue":"11","key":"5_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A., \u2018Reactive modules\u2019, Formal Methods in System Design, 15(11): 7\u201348, 1999.","journal-title":"Formal Methods in System Design"},{"issue":"5","key":"5_CR3","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., \u2018Alternating-time temporal logic\u2019, Journal of the ACM, 49(5): 672\u2013713, 2002.","journal-title":"Journal of the ACM"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Ta\u015firan, S., \u2018Mocha: Modularity in model checking\u2019, in CAV 1998: Tenth International Conference on Computer-aided Verification, LNCS, vol.\u00a01427, Springer-Verlag, Berlin, Germany, 1998, pp. 521\u2013525.","DOI":"10.1007\/BFb0028774"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/271510.271519","volume":"20","author":"Paul C. Attie","year":"1998","unstructured":"Attie, Paul C., Allen Emerson, E., \u2018Synthesis of concurrent systems with many similar processes\u2019, ACM Transactions on Programming Languages and Systems, 20(1): 51\u2013115, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR6","unstructured":"Broersen, J., \u2018Strategic deontic temporal logic as a reduction to ATL, with an application to Chisholm\u2019s scenario\u2019, in Proceedings Eighth International Workshop on Deontic Logic in Computer Science (DEON\u201906), LNAI, vol. 4048, Springer, Berlin, 2006, pp. 53\u201368."},{"key":"5_CR7","unstructured":"Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J. Ch., \u2018Designing a deontic logic of deadlines\u2019, in Lomuscio, A., Nute, D. (eds.), Proceedings Seventh International Workshop on Deontic Logic in Computer Science (DEON\u201904), LNAI, vol. 3065, Springer, Berlin, 2004, pp. 43\u201356."},{"key":"5_CR8","unstructured":"Brunel, J., Combining temporal and deontic logics. with an application to computer security, Ph.D. thesis, IRIT, Toulouse, France, 2007."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Carmo, Jose, Jones, Andrew J.I., \u2018Deontic logic and contrary-to-duties\u2019, in Gabbay, D.M., Guenthner, F. (eds.), Handbook of Philosophical Logic, 2nd edition, vol. 8, Kluwer Academic Publishers, Dordrecht, 2002, pp.\u00a0265\u2013343.","DOI":"10.1007\/978-94-010-0387-2_4"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, A., \u2018Complexity results for model checking\u2019, Tech. Rep. RS-95-18, BRICS, Department of Computer Science, University of Aarhus, 1995.","DOI":"10.7146\/brics.v2i18.19920"},{"key":"5_CR11","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A., Model Checking, The MIT Press, Cambridge, MA, 2000."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F. Dignum","year":"1999","unstructured":"Dignum, F., \u2018Autonomous agents with norms\u2019, Artificial Intelligence and Law, 7: 69\u201379, 1999.","journal-title":"Artificial Intelligence and Law"},{"key":"5_CR13","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-540-30960-4_3","volume-title":"Formal Approaches to Agent-Based Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F., Broersen, J., Dignum, V., Meyer, J.-J. Ch., \u2018Meeting the deadline: Whey, when and how\u2019, in Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff C.A. (eds.), Formal Approaches to Agent-Based Systems, LNAI, vol. 3228, Springer, Berlin, 2004, pp.\u00a030\u201340."},{"key":"5_CR14","first-page":"996","volume-title":"Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A., \u2018Temporal and modal logic\u2019, in van Leeuwen J. (ed.), Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, Elsevier Science Publishers B.V., Amsterdam, The Netherlands, 1990, pp.\u00a0996\u20131072."},{"key":"5_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"Francez, N., Fairness, Springer-Verlag, Berlin, Germany, 1986."},{"key":"5_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J., Dynamic Logic, The MIT Press, Cambridge, MA, 2000."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Lomuscio, A., Wooldridge, M., \u2018On the complexity of practical ATL model checking\u2019, in Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), Hakodate, Japan, 2005, pp. 201\u2013208.","DOI":"10.1145\/1160633.1160665"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-006-9072-6","volume":"156","author":"W. Hoek van der","year":"2007","unstructured":"van der Hoek, W., Roberts, M., Wooldridge, M., \u2018Social laws in alternating time: Effectiveness, feasibility, and synthesis\u2019, Synthese, 156(1): 1\u201319, 2007.","journal-title":"Synthese"},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A. Lomuscio","year":"2003","unstructured":"Lomuscio, A., Sergot, M., \u2018Deontic interpreted systems\u2019, Studia Logica, 75(1): 63\u201392, 2003.","journal-title":"Studia Logica"},{"issue":"6","key":"5_CR20","first-page":"533","volume":"14","author":"Y. Moses","year":"1995","unstructured":"Moses, Y., Tennenholtz, M., \u2018Artificial social systems\u2019, Computers and AI, 14(6): 533\u2013562, 1995.","journal-title":"Computers and AI"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M., \u2018Contrary-to-duty obligations\u2019, Studia Logica 57(1): 91\u2013115, 1996.","journal-title":"Studia Logica"},{"key":"5_CR22","unstructured":"Schnoebelen, P., \u2018The complexity of temporal logic model checking\u2019, in Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyascev, M. (eds.), Advances in Modal Logic, vol.\u00a04, King\u2019s College Publications, London, 2003, pp. 393\u2013436."},{"key":"5_CR23","series-title":"Advances in Soft Computing","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-32370-8_11","volume-title":"Monitoring, Security, and Rescue Techniques in Multiagent Systems","author":"M. Sergot","year":"2005","unstructured":"Sergot, M., \u2018Modelling unreliable and untrustworthy agent behaviour\u2019, in Dunin-Keplicz, B., Jankowski, A., Skowron, A., Szczuka, M. (eds.), Monitoring, Security, and Rescue Techniques in Multiagent Systems, Advances in Soft Computing, Springer, Berlin, 2005, pp.\u00a0161\u2013178."},{"key":"5_CR24","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11786849_19","volume-title":"Deontic Logic and Artificial Systems","author":"M. Sergot","year":"2006","unstructured":"Sergot, M., Craven, R., \u2018The deontic component of action language nC+\u2019, in Goble, L., Meyer, J.-J. Ch. (eds.), Deontic Logic and Artificial Systems, Proc. 8th International Workshop on Deontic Logic in Computer Science, LNAI, 4048, Springer, Berlin, 2006, pp.\u00a0222\u2013237."},{"key":"5_CR25","unstructured":"Shoham, Y., Tennenholtz, M., \u2018Emergent conventions in multi-agent systems\u2019, in Rich, C., Swartout, W., Nebel, B. (eds.), Proceedings of Knowledge Representation and Reasoning (KR&R-92), 1992, pp. 225\u2013231."},{"key":"5_CR26","unstructured":"Shoham, Y., Tennenholtz, M., \u2018On the synthesis of useful social laws for artificial agent societies\u2019, in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), San Diego, CA, 1992, pp. 276\u2013281."},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"597","DOI":"10.7551\/mitpress\/2026.003.0017","volume-title":"Computational Theories of Interaction and Agency","author":"Y. Shoham","year":"1996","unstructured":"Shoham, Y., Tennenholtz, M., \u2018On social laws for artificial agent societies: Off-line design\u2019, in Agre, P.E., Rosenschein, S.J. (eds.), Computational Theories of Interaction and Agency, The MIT Press, Cambridge, MA, 1996, pp.\u00a0597\u2013618."},{"issue":"1\u20132","key":"5_CR28","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0004-3702(97)00028-3","volume":"94","author":"Y. Shoham","year":"1997","unstructured":"Shoham, Y., Tennenholtz, M., \u2018On the emergence of social conventions: Modelling, analysis, and simulations\u2019, Artificial Intelligence, 94(1\u20132): 139\u2013166, 1997.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"5_CR29","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1137\/0208013","volume":"8","author":"L.J. Stockmeyer","year":"1979","unstructured":"Stockmeyer, L.J., Chandra, A.K., \u2018Provably difficult combinatorial games\u2019, SIAM Journal of Computing, 8(2): 151\u2013174, 1979.","journal-title":"SIAM Journal of Computing"},{"key":"5_CR30","first-page":"17","volume-title":"Deontic Logic in Computer Science\u2014Normative System Specification","author":"R.J. Wieringa","year":"1993","unstructured":"Wieringa, R.J., Meyer, J.-J.Ch., \u2018Deontic logic in computer science\u2019, in Meyer, J.-J.Ch., Wieringa, R.J. (eds.), Deontic Logic in Computer Science\u2014Normative System Specification, John Wiley & Sons, New York, 1993, pp.\u00a017\u201340."},{"issue":"3\u20134","key":"5_CR31","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1016\/j.jal.2005.04.006","volume":"4","author":"M. Wooldridge","year":"2005","unstructured":"Wooldridge, M., van der Hoek, W., \u2018On obligations and normative ability: Towards a logical analysis of the social contract\u2019, Journal of Applied Logic, 4(3\u20134): 396\u2013420, 2005.","journal-title":"Journal of Applied Logic"}],"container-title":["Towards Mathematical Philosophy"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-9084-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T09:29:29Z","timestamp":1709371769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-9084-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781402090837","9781402090844"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-9084-4_5","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}