{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:49Z","timestamp":1742913649562,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_9","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"123-136","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Logic of Power and Immunity"],"prefix":"10.1007","author":[{"given":"Huimin","family":"Dong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"9_CR1","first-page":"9","volume":"3","author":"A Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Log. Found. Game Decis. Theory 3, 9\u201358 (2008)","journal-title":"Log. Found. Game Decis. Theory"},{"key":"9_CR2","volume-title":"Modal Logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic, vol. 53. Cambridge University Press, Chennai (2002)"},{"key":"9_CR3","first-page":"75","volume":"94","author":"C Boutilier","year":"1994","unstructured":"Boutilier, C.: Toward a logic for qualitative decision theory. KR 94, 75\u201386 (1994)","journal-title":"KR"},{"issue":"1","key":"9_CR4","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF00370675","volume":"57","author":"F Dignum","year":"1996","unstructured":"Dignum, F., Meyer, J.-J.C., Wieringa, R.: Free choice and contextually permitted actions. Stud. Log. 57(1), 193\u2013220 (1996)","journal-title":"Stud. Log."},{"key":"9_CR5","unstructured":"Dong, H.: Permission in Non-Monotonic Normative Reasoning. PhD thesis, Universit\u00e4t Bayreuth (2017)"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"373","DOI":"10.2307\/2214372","volume":"33","author":"B Hansson","year":"1969","unstructured":"Hansson, B.: An analysis of some deontic logics. Nous 33, 373\u2013398 (1969)","journal-title":"Nous"},{"issue":"1","key":"9_CR7","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/785533","volume":"23","author":"WN Hohfeld","year":"1913","unstructured":"Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J. 23(1), 16\u201359 (1913)","journal-title":"Yale Law J."},{"issue":"3","key":"9_CR8","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"AJ Jones","year":"1996","unstructured":"Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Log. J. IGPL 4(3), 427\u2013443 (1996)","journal-title":"Log. J. IGPL"},{"issue":"3","key":"9_CR9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1111\/j.1755-2567.1972.tb00928.x","volume":"38","author":"S Kanger","year":"1972","unstructured":"Kanger, S.: Law and logic. Theoria 38(3), 105\u2013132 (1972)","journal-title":"Theoria"},{"issue":"2","key":"9_CR10","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"32","author":"S Kanger","year":"1966","unstructured":"Kanger, S., Kanger, H.: Rights and parliamentarism. Theoria 32(2), 85\u2013115 (1966)","journal-title":"Theoria"},{"key":"9_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1202-7","volume-title":"Position and Change: A Study in Law and Logic","author":"L Lindahl","year":"1977","unstructured":"Lindahl, L.: Position and Change: A Study in Law and Logic, vol. 112. Springer Science and Business Media, Dordrecht (1977)"},{"issue":"4","key":"9_CR12","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D Makinson","year":"1986","unstructured":"Makinson, D.: On the formal representation of rights relations. J. philos. Log. 15(4), 403\u2013425 (1986)","journal-title":"J. philos. Log."},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J-JC 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 J. Formal Log. 29, 109\u2013136 (1988)","journal-title":"Notre Dame J. Formal Log."},{"key":"9_CR14","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"M Sergot","year":"2013","unstructured":"Sergot, M.: Normative positions. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1. College Publication, London (2013)"},{"issue":"2","key":"9_CR15","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem Van","year":"2007","unstructured":"Van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-classical log. 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-classical log."},{"key":"9_CR16","volume-title":"Modal Logic for Open Minds","author":"J Benthem van","year":"2010","unstructured":"van Benthem, J.: Modal Logic for Open Minds. Center for the Study of Language and Information (CSLI), California (2010)"},{"key":"9_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Chennai (2011)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-14183-6_6","volume-title":"Deontic Logic in Computer Science","author":"J Benthem","year":"2010","unstructured":"Benthem, J., Grossi, D., Liu, F.: Deontics = Betterness + Priority. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 50\u201365. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-14183-6_6"},{"issue":"2","key":"9_CR19","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1111\/theo.12028","volume":"80","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J., Grossi, D., Liu, F.: Priority structures in deontic logic. Theoria 80(2), 116\u2013152 (2014)","journal-title":"Theoria"},{"key":"9_CR20","unstructured":"van Benthem, J., van Otterloo, S., Roy, O.: Preference logic, conditionals, and solution concepts in games. In: Festschrift for Krister Segerberg (2005)"},{"key":"9_CR21","first-page":"87","volume":"3","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. Log. Found. Game Decis. Theory 3, 87\u2013117 (2008)","journal-title":"Log. Found. Game Decis. Theory"},{"key":"9_CR22","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s11229-012-0083-1","volume":"185","author":"J Eijck van","year":"2012","unstructured":"van Eijck, J., Ruan, J., Sadzik, T.: Action emulation. Synthese 185, 131\u2013151 (2012)","journal-title":"Synthese"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T16:08:49Z","timestamp":1505146129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}