{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:46Z","timestamp":1725558946570},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141829"},{"type":"electronic","value":"9783642141836"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14183-6_11","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T11:04:12Z","timestamp":1278327852000},"page":"132-147","source":"Crossref","is-referenced-by-count":6,"title":["Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra"],"prefix":"10.1007","author":[{"given":"Robert","family":"Trypuz","sequence":"first","affiliation":[]},{"given":"Piotr","family":"Kulicki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-94-009-8484-4_2","volume-title":"New Studies in Deontic Logic","author":"H.N. Casta\u00f1eda","year":"1981","unstructured":"Casta\u00f1eda, H.N.: The Paradoxes of Deontic Logic: The simplest colution to all of them in one fell swoop. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 37\u201385. Reidel, Dordrecht (1981)"},{"key":"11_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-70525-3_4","volume-title":"Deontic Logic in Computer Science","author":"P.F. Castro","year":"2008","unstructured":"Castro, P.F., Maibaum, T.S.E.: A Tableaux System for Deontic Action Logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 34\u201348. Springer, Heidelberg (2008)"},{"issue":"4","key":"11_CR3","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 algebras and fault-tolerance. J. of Applied Logic\u00a07(4), 441\u2013466 (2009)","journal-title":"J. of Applied Logic"},{"issue":"1","key":"11_CR4","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"},{"key":"11_CR5","first-page":"1","volume-title":"Deontic Logic: Introductory and Systematic Reading","author":"D. F\u00f8llesdal","year":"1971","unstructured":"F\u00f8llesdal, D., Hilpinen, R.: Deontic logic: an introduction. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Reading, pp. 1\u201335. D. Reidel, Dordrecht (1971)"},{"key":"11_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/11786849_12","volume-title":"Deontic Logic and Artificial Normative Systems","author":"J. Hughes","year":"2006","unstructured":"Hughes, J., Royakkers, L.M.M.: Don\u2019t Ever Do That! Long-term Duties in PD e L. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 131\u2013148. Springer, Heidelberg (2006)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF02272279","volume":"1","author":"J. Kalinowski","year":"1953","unstructured":"Kalinowski, J.: Theorie des propositions normatives. Studia Logica\u00a01, 147\u2013182 (1953)","journal-title":"Studia Logica"},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00370676","volume":"57","author":"C.G.-J. Lokhorst","year":"1996","unstructured":"Lokhorst, C.G.-J.: Reasoning about actions and obligations in first-order logic. Studia Logica\u00a057(1), 221\u2013237 (1996)","journal-title":"Studia Logica"},{"key":"11_CR9","unstructured":"McCarty, L.T.: Permissions and Obligations. In: Proccedings of IJCAI-83, pp. 287\u2013294 (1983)"},{"key":"11_CR10","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. of Logic and Computation\u00a06, 465\u2013479 (1996)","journal-title":"J. of Logic and Computation"},{"key":"11_CR11","first-page":"109","volume":"1","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\u00a01, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"11_CR12","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\u00a07, 53\u201371 (1941)","journal-title":"Theoria"},{"key":"11_CR13","first-page":"220","volume":"32","author":"K. Segerberg","year":"1981","unstructured":"Segerberg, K.: Action-games. Acta Philosophica Fennica\u00a032, 220\u2013231 (1981)","journal-title":"Acta Philosophica Fennica"},{"key":"11_CR14","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":"11_CR15","doi-asserted-by":"crossref","unstructured":"Trypuz, R., Kulicki, R.: A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy (forthcoming, 2010)","DOI":"10.12775\/LLP.2009.012"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"von Wright, G.H.: Deontic logic. Mind LX(237), 1\u201315 (1951)","DOI":"10.1093\/mind\/LX.237.1"},{"key":"11_CR17","volume-title":"An Essay in Deontic Logic and the General Theory of Action","author":"G.H. Wright von","year":"1968","unstructured":"von Wright, G.H.: An Essay in Deontic Logic and the General Theory of Action. North Holland, Amsterdam (1968)"}],"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-14183-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T00:57:21Z","timestamp":1711587441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}