{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:36:36Z","timestamp":1725820596067},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319171296"},{"type":"electronic","value":"9783319171302"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17130-2_16","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T06:20:11Z","timestamp":1429078811000},"page":"236-251","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["STIT Based Deontic Logics for the Miners Puzzle"],"prefix":"10.1007","author":[{"given":"Xin","family":"Sun","sequence":"first","affiliation":[]},{"given":"Zohreh","family":"Baniasadi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative STIT theories. J. Philos. Log. 37(4), 387\u2013406 (2008)","journal-title":"J. Philos. Log."},{"doi-asserted-by":"crossref","unstructured":"Boutilier, C.: Toward a logic for qualitative decision theory. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, pp. 75\u201386. Morgan Kaufmann (1994)","key":"16_CR2","DOI":"10.1016\/B978-1-4832-1452-8.50104-4"},{"issue":"1\u20132","key":"16_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0004-3702(97)00024-6","volume":"94","author":"R Brafman","year":"1997","unstructured":"Brafman, R., Tennenholtz, M.: Modeling agents as qualitative decision makers. Artif. Intell. 94(1\u20132), 217\u2013268 (1997)","journal-title":"Artif. Intell."},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10988-013-9134-4","volume":"36","author":"F Cariani","year":"2013","unstructured":"Cariani, F., Kaufmann, M., Kaufmann, S.: Deliberative modality under epistemic uncertainty. Linguist. Philos. 36(3), 225\u2013259 (2013)","journal-title":"Linguist. Philos."},{"key":"16_CR5","first-page":"167","volume":"17","author":"J Carr","year":"2012","unstructured":"Carr, J.: Deontic modals without decision theory. Proceedings of Sinn und Bedeutung 17, 167\u2013182 (2012)","journal-title":"Proceedings of Sinn und Bedeutung"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jal.2009.02.001","volume":"7","author":"P Castro","year":"2009","unstructured":"Castro, P., Maibaum, T.S.E.: Deontic action logic, atomic boolean algebras and fault-tolerance. J. Appl. Log. 7, 441\u2013466 (2009)","journal-title":"J. Appl. Log."},{"issue":"12","key":"16_CR7","doi-asserted-by":"publisher","first-page":"2291","DOI":"10.1007\/s11229-011-9974-9","volume":"190","author":"N Charlow","year":"2013","unstructured":"Charlow, N.: What we know and what to do. Synthese 190(12), 2291\u20132323 (2013)","journal-title":"Synthese"},{"issue":"2","key":"16_CR8","first-page":"55","volume":"20","author":"J Doyle","year":"1999","unstructured":"Doyle, J., Thomason, R.: Background to qualitative decision theory. AI Mag. 20(2), 55\u201368 (1999)","journal-title":"AI Mag."},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-08615-6_9","volume-title":"Deontic Logic and Normative Systems","author":"D Gabbay","year":"2014","unstructured":"Gabbay, D., Robaldo, L., Sun, X., van der Torre, L., Baniasadi, Z.: Toward a linguistic interpretation of deontic paradoxes. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds.) DEON 2014. LNCS, vol. 8554, pp. 108\u2013123. Springer, Heidelberg (2014)"},{"unstructured":"Herzig, A., Schwarzentruber, F.: Properties of logics of individual and group agency. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic 7, papers from the seventh conference on \u201cAdvances in Modal Logic,\u201d held in Nancy, France, 9\u201312 September 2008, pp. 133\u2013149. College Publications (2008)","key":"16_CR10"},{"key":"16_CR11","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)"},{"issue":"3","key":"16_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.5840\/jphil2010107310","volume":"107","author":"N Kolodny","year":"2010","unstructured":"Kolodny, N., MacFarlane, J.: Ifs and oughts. J. Philos. 107(3), 115\u2013143 (2010)","journal-title":"J. Philos."},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-007-9049-z","volume":"37","author":"B Kooi","year":"2008","unstructured":"Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. J. Philos. Log. 37, 1\u201321 (2008)","journal-title":"J. Philos. Log."},{"key":"16_CR14","volume-title":"Words, Worlds, and Contexts: New Approaches in World Semantics","author":"A Kratzer","year":"1981","unstructured":"Kratzer, A.: The notional category of modality. In: Eikmeyer, H.J., Rieser, H. (eds.) Words, Worlds, and Contexts: New Approaches in World Semantics. de Gruyter, Berlin (1981)"},{"unstructured":"Lang, J., van der Torre, L.: From belief change to preference change. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proceedings of the 2008 Conference on ECAI 2008: 18th European Conference on Artificial Intelligence, pp. 351\u2013355. IOS Press, Amsterdam (2008)","key":"16_CR15"},{"unstructured":"Lang, J., van der Torre, L., Weydert, E.: Hidden uncertainty in the logical representation of desires. In: Proceedings of IJCAI2003, pp. 685\u2013690 (2003)","key":"16_CR16"},{"key":"16_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1344-4","volume-title":"Reasoning About Preference Dynamics","author":"F Liu","year":"2011","unstructured":"Liu, F.: Reasoning About Preference Dynamics. Springer, Dordrecht (2011)"},{"issue":"4","key":"16_CR18","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1080\/11663081.2013.841359","volume":"23","author":"E Lorini","year":"2013","unstructured":"Lorini, E.: Temporal stit logic and its application to normative reasoning. J. Appl. Non-class. Log. 23(4), 372\u2013399 (2013)","journal-title":"J. Appl. Non-class. Log."},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"JJ Meyer","year":"1988","unstructured":"Meyer, J.J.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Form. Log. 29, 109\u2013136 (1988)","journal-title":"Notre Dame J. Form. Log."},{"key":"16_CR20","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1111\/j.1755-2567.1941.tb01039.x","volume":"7","author":"A Ross","year":"1941","unstructured":"Ross, A.: Imperatives and logic. Theoria 7, 53\u201371 (1941)","journal-title":"Theoria"},{"key":"16_CR21","series-title":"Filosofiska Studier","volume-title":"An Essay in Classical Modal Logic","author":"K Segerberg","year":"1971","unstructured":"Segerberg, K.: An Essay in Classical Modal Logic. Filosofiska Studier, vol. 13. Filosofiska foreningen och Filosofiska institutionen vid Uppsala universitet, Uppsala (1971)"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF00370348","volume":"41","author":"K Segerberg","year":"1982","unstructured":"Segerberg, K.: A deontic logic of action. Stud. Log. 41, 269\u2013282 (1982)","journal-title":"Stud. Log."},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-642-24130-7_26","volume-title":"Logic, Rationality, and Interaction","author":"X Sun","year":"2011","unstructured":"Sun, X.: Conditional ought, a game theoretical perspective. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 356\u2013369. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Trypuz, R., Kulicki, P.: On deontic action logics based on boolean algebra. J. Log. Comput. (2014, forthcoming)","key":"16_CR24","DOI":"10.1093\/logcom\/ext057"},{"issue":"1","key":"16_CR25","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","volume":"38","author":"J van Benthem","year":"2009","unstructured":"van Benthem, J., Girard, P., Roy, O.: Evernthing else being equal: a modal logic approach for ceteris paribus preference. J. Philos. Log. 38(1), 83\u2013125 (2009)","journal-title":"J. Philos. Log."},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R van der Meyden","year":"1996","unstructured":"van der Meyden, R.: The dynamic logic of permission. J. Log. Comput. 6, 465\u2013479 (1996)","journal-title":"J. Log. Comput."},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G von Wright","year":"1951","unstructured":"von Wright, G.: Deontic logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"},{"issue":"7","key":"16_CR28","doi-asserted-by":"crossref","first-page":"449461","DOI":"10.5840\/jphil2012109719","volume":"109","author":"M Willer","year":"2012","unstructured":"Willer, M.: A remark on iffy oughts. J. Philos. 109(7), 449461 (2012)","journal-title":"J. Philos."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17130-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T11:45:11Z","timestamp":1717847111000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17130-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319171296","9783319171302"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17130-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}