{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:40:27Z","timestamp":1762875627990},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,11,22]],"date-time":"2014-11-22T00:00:00Z","timestamp":1416614400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s11229-014-0604-1","type":"journal-article","created":{"date-parts":[[2014,11,21]],"date-time":"2014-11-21T17:27:00Z","timestamp":1416590820000},"page":"1117-1138","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Completely and partially executable sequences of actions in deontic context"],"prefix":"10.1007","volume":"192","author":[{"given":"Piotr","family":"Kulicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Trypuz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,22]]},"reference":[{"issue":"1","key":"604_CR1","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/j.jal.2004.01.007","volume":"2","author":"J Broersen","year":"2004","unstructured":"Broersen, J. (2004). Action negation and alternative reductions for dynamic deontic logics. Journal of Applied Logic, 2(1), 153\u2013168.","journal-title":"Journal of Applied Logic"},{"issue":"4","key":"604_CR2","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1016\/j.jal.2009.02.001","volume":"7","author":"PF Castro","year":"2009","unstructured":"Castro, P. F., & Maibaum, T. (2009). Deontic action logic, atomic boolean algebra and fault-tolerance. Journal of Applied Logic, 7(4), 441\u2013466.","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"604_CR3","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF00370675","volume":"57","author":"F Dignum","year":"1996","unstructured":"Dignum, F., Meyer, J. J., & Wieringa, R. (1996). Free choice and contextually permitted actions. Studia Logica, 57(1), 193\u2013220.","journal-title":"Studia Logica"},{"key":"604_CR4","doi-asserted-by":"crossref","unstructured":"Dong, H., & Li, X. (2013). A deontic action logic for complex actions. In: D. Grossi, O. Roy, H. Huang (Eds.), Logic, rationality, and interaction. Lecture Notes in Computer Science (Vol. 8196, pp. 311\u2013315). Springer, Berlin. doi: 10.1007\/978-3-642-40948-6_24 .","DOI":"10.1007\/978-3-642-40948-6_24"},{"issue":"2","key":"604_CR5","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M. J., & Ladner, R. E. (1979). Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2), 194\u2013211.","journal-title":"Journal of Computer and System Sciences"},{"key":"604_CR6","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Gammaitoni, L., & Sun, X. (2014). The paradoxes of permission an action based solution. Journal of Applied Logic (0). doi: 10.1016\/j.jal.2014.01.003 .","DOI":"10.1016\/j.jal.2014.01.003"},{"key":"604_CR7","volume-title":"Automated planning theory and practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., & Traverso, P. (2004). Automated planning theory and practice. San Francisco, CA: Morgan Kaufmann Publishers Inc."},{"issue":"10","key":"604_CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12(10), 576\u2013580.","journal-title":"Communications of the ACM"},{"key":"604_CR9","doi-asserted-by":"crossref","unstructured":"Hoare, T., M\u00f6ller, B., Struth, G., & Wehrman, I. (2011) Concurrent kleene algebra and its foundations. The Journal of Logic and Algebraic Programming, 80(6), 266\u2013296. http:\/\/dblp.uni-trier.de\/db\/journals\/jlp\/jlp80.html#HoareMSW11 .","DOI":"10.1016\/j.jlap.2011.04.005"},{"key":"604_CR10","unstructured":"Kleene, S. C. (1956). Representation of events in nerve nets and finite automata. In C. E. Shannon & J. McCarthy (Eds.), Automata studies (pp. 3\u201341). Princeton: Princeton University Press."},{"key":"604_CR11","doi-asserted-by":"crossref","unstructured":"Kulicki, P., & Trypuz, R. (2012). A deontic action logic with sequential composition of actions. In: T. \u00c5gotnes, J. Broersen, D. Elgesem (Eds.), Deontic logic in computer science. Lecture Notes in Computer Science (Vol. 7393\/2012, pp. 184\u2013198). Boston: Springer.","DOI":"10.1007\/978-3-642-31570-1_13"},{"issue":"1","key":"604_CR12","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s11229-008-9309-7","volume":"163","author":"E Lorini","year":"2008","unstructured":"Lorini, E., & Herzig, A. (2008). A logic of intention and attempt. Synthese, 163(1), 45\u201377.","journal-title":"Synthese"},{"issue":"1","key":"604_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J Meyer","year":"1987","unstructured":"Meyer, J. (1987). A different approach to deontic logic: Deontic logic viewed as variant of dynamic logic. Notre Dame Journal of Formal Logic, 29(1), 109\u2013136.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"604_CR14","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1016\/j.jlap.2012.03.003","volume":"81","author":"C Prisacariu","year":"2012","unstructured":"Prisacariu, C., & Schneider, G. (2012). A dynamic deontic logic for complex contracts. The Journal of Logic and Algebraic Programming, 81(4), 458\u2013490.","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"604_CR15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF00370348","volume":"41","author":"K Segerberg","year":"1982","unstructured":"Segerberg, K. (1982). A deontic logic of action. Studia Logica, 41, 269\u2013282.","journal-title":"Studia Logica"},{"issue":"4","key":"604_CR16","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1016\/j.jal.2009.04.001","volume":"7","author":"K Segerberg","year":"2009","unstructured":"Segerberg, K. (2009). Blueprint for a dynamic deontic logic. Journal of Applied Logic, 7(4), 388\u2013402.","journal-title":"Journal of Applied Logic"},{"key":"604_CR17","unstructured":"Trypuz, R. (2007). Formal ontology of action: A unifying approach. Ph.D. thesis, Universit\u00e0 degli Studi di Trento, ICT International Doctorate School."},{"key":"604_CR18","doi-asserted-by":"crossref","unstructured":"Trypuz, R. (Ed.). (2014). Krister Segerberg on logic of actions, outstanding contributions to logic (Vol. 1). Berlin: Springer.","DOI":"10.1007\/978-94-007-7046-1"},{"key":"604_CR19","first-page":"263","volume":"18","author":"R Trypuz","year":"2009","unstructured":"Trypuz, R., & Kulicki, P. (2009). A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy, 18, 263\u2013279.","journal-title":"Logic and Logical Philosophy"},{"key":"604_CR20","unstructured":"Trypuz, R., & Kulicki, P. (2010). Towards metalogical systematisation of deontic action logics based on boolean algebra. In Proceedings of the 10th international conference deontic logic in computer science. Lecture Notes in Computer Science (Vol. 6181, pp. 132\u2013147). New York: Springer."},{"key":"604_CR21","first-page":"59","volume":"20","author":"R Trypuz","year":"2011","unstructured":"Trypuz, R., & Kulicki, P. (2011). A norm-giver meets deontic action logic. Logic and Logical Philosophy, 20, 59\u201372.","journal-title":"Logic and Logical Philosophy"},{"key":"604_CR22","doi-asserted-by":"crossref","unstructured":"Trypuz, R., & Kulicki, P. (2013). On deontic action logics based on Boolean algebra. Journal of Logic and Computation. doi: 10.1093\/logcom\/ext057 .","DOI":"10.1093\/logcom\/ext057"},{"issue":"3","key":"604_CR23","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R Meyden van der","year":"1996","unstructured":"van der Meyden, R. (1996). The dynamic logic of permission. Journal of Logic and Computation, 6(3), 465\u2013479.","journal-title":"Journal of Logic and Computation"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0604-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-014-0604-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0604-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:15:06Z","timestamp":1553642106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-014-0604-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,22]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["604"],"URL":"https:\/\/doi.org\/10.1007\/s11229-014-0604-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,22]]}}}