{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:57Z","timestamp":1725515217474},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642315695"},{"type":"electronic","value":"9783642315701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31570-1_13","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T02:50:23Z","timestamp":1341975023000},"page":"184-198","source":"Crossref","is-referenced-by-count":3,"title":["A Deontic Action Logic with Sequential Composition of Actions"],"prefix":"10.1007","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","reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jal.2009.02.001","volume":"7","author":"P.F. Castro","year":"2009","unstructured":"Castro, P.F., Maibaum, T.S.E.: Deontic action logic, atomic boolean algebra and fault-tolerance. Journal of Applied Logic\u00a07(4), 441\u2013466 (2009)","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF00370675","volume":"57","author":"F. Dignum","year":"1996","unstructured":"Dignum, F., Meyer, J.-J.C., Wieringa, R.J.: Free choice and contextually permitted actions. Studia Logica\u00a057(1), 193\u2013220 (1996)","journal-title":"Studia Logica"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018(2), 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"issue":"10","key":"13_CR4","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. Automata Studies (1956)","DOI":"10.1515\/9781400882618-002"},{"issue":"1","key":"13_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s11229-008-9309-7","volume":"163","author":"E. Lorini","year":"2008","unstructured":"Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese\u00a0163(1), 45\u201377 (2008)","journal-title":"Synthese"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.J. Meyer","year":"1987","unstructured":"Meyer, J.J.: A different approach to deontic logic: Deontic logic viewed as variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029(1), 109\u2013136 (1987)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. The Journal of Logic and Algebraic Programming\u00a081 (to appear, 2012)","DOI":"10.1016\/j.jlap.2012.03.003"},{"key":"13_CR9","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. Studia Logica\u00a041, 269\u2013282 (1982)","journal-title":"Studia Logica"},{"key":"13_CR10","unstructured":"Trypuz, R.: Simple theory of norm and action. In: Bro\u017cek, A., Jadacki, J., \u017barni\u0107, B. (eds.) Theory of Imperatives from Different Points of View, Logic, Methodology and Philosophy of Science at Warsaw University, vol.\u00a06, pp. 120\u2013136. Wydawnictwo Naukowe Semper (2011)"},{"key":"13_CR11","first-page":"263","volume":"18","author":"R. Trypuz","year":"2009","unstructured":"Trypuz, R., Kulicki, P.: A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy\u00a018, 263\u2013279 (2009)","journal-title":"Logic and Logical Philosophy"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-14183-6_11","volume-title":"Deontic Logic in Computer Science","author":"R. Trypuz","year":"2010","unstructured":"Trypuz, R., Kulicki, P.: Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol.\u00a06181, pp. 132\u2013147. Springer, Heidelberg (2010)"},{"key":"13_CR13","first-page":"59","volume":"20","author":"R. Trypuz","year":"2011","unstructured":"Trypuz, R., Kulicki, P.: A norm-giver meets deontic action logic. Logic and Logical Philosophy\u00a020, 59\u201372 (2011)","journal-title":"Logic and Logical Philosophy"},{"issue":"3","key":"13_CR14","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R. Meyden van der","year":"1996","unstructured":"van der Meyden, R.: The dynamic logic of permission. J. Log. Comput.\u00a06(3), 465\u2013479 (1996)","journal-title":"J. Log. Comput."}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31570-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:08:28Z","timestamp":1606169308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31570-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642315695","9783642315701"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31570-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}