{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:27:42Z","timestamp":1736486862814,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540358428"},{"type":"electronic","value":"9783540358435"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11786849_21","type":"book-chapter","created":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T09:15:05Z","timestamp":1151745305000},"page":"255-271","source":"Crossref","is-referenced-by-count":3,"title":["Sequences, Obligations, and the Contrary-to-Duty Paradox"],"prefix":"10.1007","author":[{"given":"Adam Zachary","family":"Wyner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.2307\/2088759","volume":"22","author":"A. Anderson","year":"1957","unstructured":"Anderson, A., Moore, O.: The Formal Analysis of Normative Concepts. The American Sociological Review\u00a022, 9\u201317 (1957)","journal-title":"The American Sociological Review"},{"key":"21_CR2","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.: Deontic Logic and Contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00116787","volume":"4","author":"P. d\u2019Altan","year":"1996","unstructured":"d\u2019Altan, P., Meyer, J.-J.C., Wieringa, M.: An integrated framework for ought\u2013to\u2013be and ought\u2013to\u2013do constraints. Artificial Intelligence and Law\u00a04, 77\u2013111 (1996)","journal-title":"Artificial Intelligence and Law"},{"key":"21_CR4","unstructured":"Dignum, F., Edmonds, B., Sonenberg, L.: Editorial: The Use of Logic in Agent-Based Social Simulation. Journal of Artificial Societies and Social Simulation\u00a07.4 (2004), http:\/\/jasss.soc.surrey.ac.uk\/7\/4\/8.html"},{"key":"21_CR5","unstructured":"Dignum, F., Sonenberg, L.: A Dialogical Argument for the Usefulness of Logic in MAS. In: RASTA 2002: Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications, See: http:\/\/jasss.soc.surrey.ac.uk\/7\/4\/8.html"},{"key":"21_CR6","unstructured":"Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. Ph.D. Thesis, Utrecht University, Netherlands"},{"key":"21_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-9473-7","volume-title":"Word Meaning and Montague Grammar","author":"D. Dowty","year":"1979","unstructured":"Dowty, D.: Word Meaning and Montague Grammar. Reidel Publishing Company, Dordrecht (1979)"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25867-4_1","volume-title":"Regulated Agent-Based Social Systems","author":"B. Edmonds","year":"2004","unstructured":"Edmonds, B.: Comments on A Dialogical Argument for the Usefulness of Logic in MAS. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS, vol.\u00a02934, Springer, Heidelberg (2004), See: http:\/\/jasss.soc.surrey.ac.uk\/7\/4\/8.html"},{"key":"21_CR9","unstructured":"Fasli, M.: Formal Systems \u2227 Agent-Based Social Simulation = $\\bot$ ? Journal of Artificial Societies and Social Simulation\u00a07.4 (2004), http:\/\/jasss.soc.surrey.ac.uk\/7\/4\/8.html"},{"key":"21_CR10","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 (2000)"},{"key":"21_CR11","volume-title":"The Haskell Road to Logic, Maths and Programming","author":"K. Doets","year":"2004","unstructured":"Doets, K., van Eijck, J.: The Haskell Road to Logic, Maths and Programming. King\u2019s College Publications, London (2004)"},{"key":"21_CR12","unstructured":"van Eijck, J.: Computational Semantics and Type Theory (2004), Website download http:\/\/homepages.cwi.nl\/~jve\/cs\/"},{"key":"21_CR13","volume-title":"Simulation for the Social Scientist","author":"N. Gilbert","year":"2005","unstructured":"Gilbert, N., Troitzsch, K.: Simulation for the Social Scientist. Open University Press, London (2005)"},{"key":"21_CR14","first-page":"275","volume-title":"Deontic Logic in Computer Science \u2013 Normative System Specification","author":"A. Jones","year":"1993","unstructured":"Jones, A., Sergot, M.: On the Characterisation of Law and Computer Systems: the Normative Systems Perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science \u2013 Normative System Specification, pp. 275\u2013307. Wiley, Chichester (1993)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Kent, S., Maibaum, T., Quirk, W.: Formally Specifying Temporal Contraints and Error Recovery. In: Proceedings of the IEEE International Symposium on Requirements Engineering, pp. 208\u2013215. IEEE C.S. Press","DOI":"10.1109\/ISRE.1993.324856"},{"key":"21_CR16","first-page":"243","volume-title":"Temporal Logic in Specification","author":"S. Khosla","year":"1987","unstructured":"Khosla, S., Maibaum, T.: The Prescription and Description of State-Based Systems. In: Banieqbal, B., Barringer, H., Pneuli, A. (eds.) Temporal Logic in Specification, pp. 243\u2013294. Springer, Heidelberg (1987)"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R.v.d. Meyden","year":"1996","unstructured":"Meyden, R.v.d.: The Dynamic Logic of Permission. Journal of Logic and Computation\u00a06, 465\u2013479 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"21_CR18","first-page":"109","volume":"1","author":"J.-J.C. Meyer","year":"1988","unstructured":"Meyer, J.-J.C.: A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic\u00a01, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J.C.: Dynamic Logic for Reasoning about Actions and Agents. In: Minker, J. (ed.) Workshop on Logic-Based Artificial Intelligence, Washington, DC (1999)","DOI":"10.1007\/978-1-4615-1567-8_13"},{"key":"21_CR20","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01556356","volume":"7","author":"J.-J.C. Meyer","year":"1993","unstructured":"Meyer, J.-J.C., Wieringa, R.J.: Actors, Actions, and Initiative in Normative System Specification. Annals of Mathematics and Artificial Intelligence\u00a07, 289\u2013346 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J.C., Wieringa, R.J., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. In: Logics for Databases and Information Systems, pp. 71\u2013115 (1998)","DOI":"10.1007\/978-1-4615-5643-5_4"},{"key":"21_CR22","unstructured":"Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Thomason, R. (ed.). Yale University Press, New Haven (1974)"},{"key":"21_CR23","unstructured":"Penner, J., Schiff, D., Nobles, R. (eds.): Introduction to Legal Theory and Jurisprudence: Commentary and Materials. Buttersworth Law, London (2002)"},{"key":"21_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1268-3","volume-title":"Action Theory and Social Science: Some Formal Models","author":"P. P\u00f6rn","year":"1977","unstructured":"P\u00f6rn, P.: Action Theory and Social Science: Some Formal Models. Reidel, Dordrecht (1977)"},{"key":"21_CR25","unstructured":"Royakkers, L.: Representing Legal Rules in Deontic Logic. Ph.D. Thesis, Katholieke Universiteit Brabant, Tilburg (1996)"},{"key":"21_CR26","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/383779.383786","volume":"2","author":"M. Sergot","year":"2001","unstructured":"Sergot, M.: A Computational Theory of Normative Positions. ACM Transactions on Computational Logic\u00a02, 581\u2013622 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"21_CR27","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"R.J. Wieringa","year":"1993","unstructured":"Wieringa, R.J., Meyer, J.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester (1993)"},{"key":"21_CR28","unstructured":"Wyner, A.Z.: Violations and Fulfillments in the Formal Representation of Contracts. ms King\u2019s College London, Department of Computer Science, Ph.D. in Computer Science (submitted, 2006a)"},{"key":"21_CR29","unstructured":"Wyner, A.Z.: A Functional Program for Agents, Actions, and Deontic Specifications. In: Endriss, U. (ed.) Proceedings of the Workshop on Declarative Agent Language Technologies. AAMAS 2006, May 7-12, 2006, Hakodate, Japan (2006b)"},{"key":"21_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-25927-5_17","volume-title":"Deontic Logic in Computer Science","author":"A.Z. Wyner","year":"2004","unstructured":"Wyner, A.Z.: Maintaining Obligations on Stative Expressions in a Deontic Action Logic. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.\u00a03065, pp. 258\u2013274. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic and Artificial Normative Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11786849_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T17:21:49Z","timestamp":1736443309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11786849_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358428","9783540358435"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11786849_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}