{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T11:26:00Z","timestamp":1751109960661},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319086149"},{"type":"electronic","value":"9783319086156"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08615-6_3","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T03:01:29Z","timestamp":1404183689000},"page":"19-32","source":"Crossref","is-referenced-by-count":6,"title":["Open Reading without Free Choice"],"prefix":"10.1007","author":[{"given":"Albert J. J.","family":"Anglberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huimin","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science\u00a0111(1), 3\u201357 (1993)","journal-title":"Theoretical Computer Science"},{"key":"3_CR2","unstructured":"Anglberger, A., Gratzl, N., Roy, O.: The logic of obligations as weakest permissions (2013) (manuscript)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Asher, N., Pelletier, F.: Generics and defaults. In: van Bentham, J., ter Meulen, A. (eds.) Handbook of Logic and Language. Elsevier (1997)","DOI":"10.1016\/B978-044481714-3\/50025-4"},{"key":"3_CR4","unstructured":"Asudeh, A.: Linear logic, linguistic resource sensitivity and resumption, eSSLLI (2006)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the future: Agents and choice in our indeterminist world (2001)","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.jal.2004.01.007","volume":"2","author":"J. Broersen","year":"2004","unstructured":"Broersen, J.: Action negation and alternative reductions for dynamic deontic logics. Journal of Applied Logic\u00a02, 153\u2013168 (2004)","journal-title":"Journal of Applied Logic"},{"key":"3_CR7","unstructured":"Di Cosmo, R., Miller, D.: Linear logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Fall 2010 edn. (2010)"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF00370675","volume":"57","author":"F. Dignum","year":"1996","unstructured":"Dignum, F., Meyer, J.J., Wieringa, R.: Free choice and contextually permitted actions. Studia Logica\u00a057(1), 193\u2013220 (1996)","journal-title":"Studia Logica"},{"key":"3_CR9","series-title":"Workshops in Computing","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-1-4471-3860-0_5","volume-title":"Semantics for Concurrency","author":"F. Dignum","year":"1990","unstructured":"Dignum, F., Meyer, J.J.: Negations of transactions and their use in the specification of dynamic and deontic integrity constraints. In: Semantics for Concurrency. Workshops in Computing, pp. 61\u201380. Springer, London (1990)"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Linear logic: Its syntax and semantics. In: Girard, J.Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic, vol.\u00a0222. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511629150.002"},{"key":"3_CR12","unstructured":"Hansson, S.: The varieties of permissions. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol.\u00a01, College Publication (2013)"},{"key":"3_CR13","unstructured":"Van Benthem, J.: Language in Action: categories, lambdas and dynamic logic. MIT Press (1995)"},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s11229-011-0022-6","volume":"187","author":"J.M. Joyce","year":"2012","unstructured":"Joyce, J.M.: Regret and instability in causal decision theory. Synthese\u00a0187(1), 123\u2013145 (2012)","journal-title":"Synthese"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.2307\/2586754","volume":"64","author":"M. Kracht","year":"1999","unstructured":"Kracht, M., Wolter, F.: Normal monomodal logics can simulate all others. Journal Symbolic Logic\u00a064(1), 99\u2013138 (1999)","journal-title":"Journal Symbolic Logic"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1111\/j.1755-2567.1984.tb01126.x","volume":"50","author":"D. Makinson","year":"1984","unstructured":"Makinson, D.: Stenius\u2019 approach to disjunctive permission. Theoria\u00a050, 138\u2013147 (1984)","journal-title":"Theoria"},{"key":"3_CR17","unstructured":"Makinson, D.: Bridges from classical to nonmonotonic logic. College Publications (2005)"},{"key":"3_CR18","unstructured":"McCarthy, J.: Epistemological problems of artificial intelligence. In: IJCAI, vol.\u00a077, pp. 1038\u20131044 (1977)"},{"key":"3_CR19","unstructured":"McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Fall 2010 edn. (2010)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","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\u00a029, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"3_CR21","unstructured":"Osborne, M.J., Rubinstein, A.: A course in game theory. MIT Press (1994)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-31570-1_10","volume-title":"Deontic Logic in Computer Science","author":"O. Roy","year":"2012","unstructured":"Roy, O., Anglberger, A.J.J., Gratzl, N.: The logic of obligation as weakest permission. In: \u00c5gotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol.\u00a07393, pp. 139\u2013150. Springer, Heidelberg (2012)"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00388295","volume":"35","author":"G. Schurz","year":"1991","unstructured":"Schurz, G.: Relevant Deduction: From Solving Paradoxes Towards a General Theory. Erkenntnis\u00a035, 391\u2013437 (1991)","journal-title":"Erkenntnis"},{"key":"3_CR24","first-page":"3","volume":"113","author":"G. Schurz","year":"1986","unstructured":"Schurz, G., Weingartner, P.: Paradoxes solved by simple relevance criteria. Logique et Analyse\u00a0113, 3\u201340 (1986)","journal-title":"Logique et Analyse"},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s11050-004-2900-7","volume":"13","author":"M. Simons","year":"2005","unstructured":"Simons, M.: Dividing things up: The semantics of or and the modal\/or interaction. Natural Language Semantics\u00a013(3), 271\u2013316 (2005)","journal-title":"Natural Language Semantics"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Trypuz, R., Kulicki, P.: On deontic action logics based on boolean algebra. Journal of Logic and Computation (2013) (forthcoming)","DOI":"10.1093\/logcom\/ext057"},{"key":"3_CR27","unstructured":"von Wright, G.H.: Norm and Action - A Logical Enquiry. Routledge (1963)"},{"key":"3_CR28","unstructured":"van Wright, G.H.: An Essay in Deontic Logic and the General Theory of Action. North-Holland Publishing Company (1968)"},{"issue":"4","key":"3_CR29","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1011255819284","volume":"8","author":"T. Zimmermann","year":"2000","unstructured":"Zimmermann, T.: Free choice disjunction and epistemic possibility. Natural Language Semantics\u00a08(4), 255\u2013290 (2000)","journal-title":"Natural Language Semantics"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic and Normative Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08615-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T10:44:59Z","timestamp":1716893099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08615-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319086149","9783319086156"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08615-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}