{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:39:30Z","timestamp":1762875570173},"reference-count":27,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1093\/logcom\/ext057","type":"journal-article","created":{"date-parts":[[2013,11,9]],"date-time":"2013-11-09T03:14:46Z","timestamp":1383966886000},"page":"1241-1260","source":"Crossref","is-referenced-by-count":13,"title":["On deontic action logics based on Boolean algebra"],"prefix":"10.1093","volume":"25","author":[{"given":"Robert","family":"Trypuz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Kulicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,11,7]]},"reference":[{"key":"2015092802073454000_25.5.1241.1","doi-asserted-by":"crossref","unstructured":"Boella G. van der Torre L. Proceedings of the 9th international conference on Artificial intelligence and law. ACM; 2003. Permissions and obligations in hierarchical normative systems; p. 109-118.","DOI":"10.1145\/1047788.1047818"},{"key":"2015092802073454000_25.5.1241.2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2004.01.007"},{"key":"2015092802073454000_25.5.1241.3","doi-asserted-by":"crossref","unstructured":"Casta\u00f1eda H.-N. The paradoxes of deontic logic: the simplest colution to all of them in one fell swoop. In: Hilpinen R. , editor. New Studies in Deontic Logic. Reidel; 1981. p. 37-85.","DOI":"10.1007\/978-94-009-8484-4_2"},{"key":"2015092802073454000_25.5.1241.4","doi-asserted-by":"crossref","unstructured":"Castro P. F. Maibaum T. S. E. A tableaux system for deontic action logic. In: Meyden R. Torre L. , editors. DEON 2008. Springer; 2008. p. 34-48.","DOI":"10.1007\/978-3-540-70525-3_4"},{"key":"2015092802073454000_25.5.1241.5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2009.02.001"},{"key":"2015092802073454000_25.5.1241.6","unstructured":"Chellas B. F. Modal Logic: an Introduction. Cambridge University Press; 1993."},{"key":"2015092802073454000_25.5.1241.7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370675"},{"key":"2015092802073454000_25.5.1241.8","doi-asserted-by":"crossref","unstructured":"F\u00f8llesdal D. Hilpinen R. Deontic logic: an introduction. In: Hilpinen R. , editor. Deontic Logic: Introductory and Systematic Reading. D. Reidel; 1971. p. 1-35.","DOI":"10.1007\/978-94-010-3146-2_1"},{"key":"2015092802073454000_25.5.1241.9","doi-asserted-by":"crossref","unstructured":"Hughes J. Royakkers L. M. M. Don't ever do that! Long-term duties in PD e L. In: Goble L. Ch J. -J. Meyer . , editors. DEON 2006. Springer; 2006. p. 131-148.","DOI":"10.1007\/11786849_12"},{"key":"2015092802073454000_25.5.1241.10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02272279"},{"key":"2015092802073454000_25.5.1241.11","unstructured":"Kulicki P. Trypuz R. How to build a deontic action logic. In: Pelis M. Puncochar V. , editors. The LogicaYearbook. College Publications; 2011. p. 107-120."},{"key":"2015092802073454000_25.5.1241.12","unstructured":"Kulicki P. Trypuz R. Two faces of obligation. In: Bro\u017cek A. Jadacki J. Zarnic B. , editors. Theory of Imperatives from Different Points of View. Wydawnictwo Naukowe Semper; 2012. Logic, Methodology and Philosophy of Science at Warsaw University 7."},{"key":"2015092802073454000_25.5.1241.13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370676"},{"key":"2015092802073454000_25.5.1241.14","unstructured":"McCarty L. T. Permissions and obligations. In: Bundy A. , editor. Proccedings of IJCAI-83. William Kaufmann, Inc.; 1983. p. 287-294."},{"key":"2015092802073454000_25.5.1241.15","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/6.3.465"},{"key":"2015092802073454000_25.5.1241.16","unstructured":"Meyer J. J. Ch. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 1988;1:109-136."},{"key":"2015092802073454000_25.5.1241.17","unstructured":"Rasiowa H. Sikorski R. The Mathematics of Metamathematics. Pa\u0144stwowe Wydawnictwo Naukowe; 1963."},{"key":"2015092802073454000_25.5.1241.18","unstructured":"Ross A. Imperatives and logic. Theoria 1941;7:53-71."},{"key":"2015092802073454000_25.5.1241.19","doi-asserted-by":"crossref","unstructured":"Segerberg K. A deontic logic of action. Studia Logica 1982;41.","DOI":"10.1007\/BF00370348"},{"key":"2015092802073454000_25.5.1241.20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2010.01.001"},{"key":"2015092802073454000_25.5.1241.21","unstructured":"Trypuz R. Formal Ontology of Action: a Unifying Approach. 2007. PhD Thesis, Universit\u00e0 degli Studi di Trento, ICT International Doctorate School."},{"key":"2015092802073454000_25.5.1241.22","unstructured":"Trypuz R. Simple theory of norm and action. In: Bro\u017cek A. Jadacki J. Zarnic B. , editors. Theory of Imperatives from Different Points of View. Wydawnictwo Naukowe Semper; 2011. p. 120-136. Logic, Methodology and Philosophy of Science at Warsaw University 6."},{"key":"2015092802073454000_25.5.1241.23","unstructured":"Trypuz R. Kulicki P. A systematics of deontic action logics based on Boolean algebra. Logic and Logical Philosophy 2009;18:253-270."},{"key":"2015092802073454000_25.5.1241.24","doi-asserted-by":"crossref","unstructured":"Trypuz R. Kulicki P. Towards metalogical systematisation of deontic action logics based on Boolean algebra. In: Governatori G. Sartor G. , editors. Deontic Logic in Computer Science (DEON 2010). Springer; 2010. p. 132-147.","DOI":"10.1007\/978-3-642-14183-6_11"},{"key":"2015092802073454000_25.5.1241.25","unstructured":"Trypuz R. Kulicki P. A norm-giver meets deontic action logic. Logic and Logical Philosophy 2011;20:59-72."},{"key":"2015092802073454000_25.5.1241.26","doi-asserted-by":"crossref","unstructured":"von Wright G. H. Deontic logic. Mind 1951;LX:1-15.","DOI":"10.1093\/mind\/LX.237.1"},{"key":"2015092802073454000_25.5.1241.27","doi-asserted-by":"crossref","unstructured":"von Wright G. H. An Essay in Deontic Logic and the General Theory of Action. North Holland; 1968.","DOI":"10.22201\/iifs.18704905e.1968.50"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/5\/1241\/5279519\/ext057.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,7]],"date-time":"2020-08-07T16:39:03Z","timestamp":1596818343000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,7]]},"references-count":27,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2015,9,28]]},"published-print":{"date-parts":[[2015,10]]}},"alternative-id":["10.1093\/logcom\/ext057"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext057","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,7]]}}}