{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:42:44Z","timestamp":1743064964528,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_35","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"512-525","source":"Crossref","is-referenced-by-count":0,"title":["A Dynamic Approach to Temporal Normative Logic"],"prefix":"10.1007","author":[{"given":"Fengkui","family":"Ju","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Grilletti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-1-4020-9084-4_5","volume-title":"Towards Mathematical Philosophy","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes, T., van der Hoek, W., Rodr\u00edguez-Aguilar, J., Sierra, C., Wooldridge, M.: A temporal logic of normative systems. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy, pp. 69\u2013106. Springer, Netherlands (2009)"},{"issue":"1","key":"35_CR2","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s11050-007-9010-2","volume":"15","author":"M Aloni","year":"2007","unstructured":"Aloni, M.: Free choice, modals, and imperatives. Nat. Lang. Seman. 15(1), 65\u201394 (2007)","journal-title":"Nat. Lang. Seman."},{"issue":"4","key":"35_CR3","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2214623","volume":"1","author":"A Anderson","year":"1967","unstructured":"Anderson, A.: Some nasty problems in the formal logic of ethics. No\u00fbs 1(4), 345\u2013360 (1967)","journal-title":"No\u00fbs"},{"key":"35_CR4","volume-title":"Modal Logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)"},{"key":"35_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"EM Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52\u201371. Springer, Heidelberg (1982). doi:\n10.1007\/BFb0025774"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: Meeting the deadline: why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol. 3228, pp. 30\u201340. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-30960-4_3"},{"issue":"1","key":"35_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E Emerson","year":"1986","unstructured":"Emerson, E., Halpern, J.: \u201cSometimes\u201d and \u201cnot never\u201d revisited: on branching versus linear time temporal logic. J. ACM 33(1), 151\u2013178 (1986)","journal-title":"J. ACM"},{"key":"35_CR8","first-page":"36","volume-title":"Deontic Logic: Introductory and Systematic Readings","author":"S Kanger","year":"1971","unstructured":"Kanger, S.: New foundations for ethical theory. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 36\u201358. Springer, Netherlands (1971)"},{"issue":"1","key":"35_CR9","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/j.ic.2005.03.005","volume":"201","author":"M Reynolds","year":"2005","unstructured":"Reynolds, M.: An axiomatization of PCTL*. Inf. Comput. 201(1), 72\u2013119 (2005)","journal-title":"Inf. Comput."},{"key":"35_CR10","unstructured":"Veltman, F.: Imperatives at the borderline of semantics and pragmatics. Manuscript (2010)"},{"issue":"237","key":"35_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G Wright von","year":"1951","unstructured":"von Wright, G.: Deontic logic. Mind 60(237), 1\u201315 (1951)","journal-title":"Mind"},{"issue":"4","key":"35_CR12","doi-asserted-by":"crossref","first-page":"1231","DOI":"10.1007\/s11049-012-9176-2","volume":"30","author":"R Zanuttini","year":"2012","unstructured":"Zanuttini, R., Pak, M., Portner, P.: A syntactic analysis of interpretive restrictions on imperative, promissive, and exhortative subjects. Nat. Lang. Linguist. Theory 30(4), 1231\u20131274 (2012)","journal-title":"Nat. Lang. Linguist. Theory"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T16:15:36Z","timestamp":1505146536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}