{"entities":{"Q526730":{"pageid":528497,"ns":120,"title":"Item:Q526730","lastrevid":62501553,"modified":"2026-04-11T06:31:48Z","type":"item","id":"Q526730","labels":{"en":{"language":"en","value":"Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6715507"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$49F5DE93-54BA-4793-86BE-5873EFC6DC27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b13cf1612d50fb8810ca3054353c364460a4465","datavalue":{"value":{"text":"Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q526730$E1A53836-3A4E-492B-A7F2-652D82FE757D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bc96cf22bb74e48552a6bafa3c74c67a105271d","datavalue":{"value":"1364.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$290DE051-5770-40A7-997E-01AEC40D69FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$2DF4F536-7F9E-4167-B412-DB816DC2F71F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$34124E0B-867F-4FF9-BBBA-861427D0939D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edf4e654995b527c1583dd79535ae94d23c9eef6","datavalue":{"value":{"time":"+2017-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q526730$5BBF575B-0C5B-40A7-BB88-0ADC0372859A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76d6a91ce5e7f419d1b411de61e6bfadde329919","datavalue":{"value":"The author examines a deontic logic of actions known as DAL, which was devised by \\textit{K. Segerberg} [Stud. Log. 41, 269--282 (1982; Zbl 0537.03018)] and subsequently studied and varied in papers by \\textit{P. F. Castro} and \\textit{T. S. E. Maibaum} [Lect. Notes Comput. Sci. 5076, 34--48 (2008; Zbl 1143.68595); J. Appl. Log. 7, No. 4, 441--466 (2009; Zbl 1193.03060)] and most recently by \\textit{R. Trypuz} and \\textit{P. Kulicki} [J. Log. Comput. 25, No. 5, 1241--1260 (2015; Zbl 1336.03027)]. The focus is on computational aspects of the system. The author gives tableau characterizations for DAL and its extant variants, and obtains results on the computational complexity of their satisfiability problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q526730$40441652-EC44-4DF8-B32E-ADA071927BD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$EBFF3D35-CBAA-4C30-B007-213640497293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$32F1125D-D46E-4E15-8C6C-2B4D87AE82CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$DB4FC423-226B-4BF0-8ADE-A18B27F40EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$75DEC8AF-242B-4C71-ADF9-25F1C5150454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$74F2EB68-B354-40F6-B3A0-B1613D8FE7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$A517CFFB-71D8-4486-8CEB-344EA5105D57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3768858b32030d2fc0d1a99ba9bb33d115c14ffc","datavalue":{"value":"6715507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$4E26BBEC-0B3D-47B9-BFD5-FE61759A3EF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc96e7e1db21840ba5a9afe12b342c5c8e75701","datavalue":{"value":"deontic action logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q526730$CF5AAB47-8B2D-4E21-A282-8222AE09D1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q526730$203C5A7E-6F83-4BE0-8354-F41A3CC37E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d9a7d52128f37f4ac08b69e7d79d2d8ff923827","datavalue":{"value":"computation complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q526730$918BF02E-03B7-452D-99F4-9A40A51A4A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q526730$BA0A0A1B-D559-4D09-9FE5-653FFA4933D3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$56E13338-2434-4AE7-9FF7-959BBB6F2CA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bab458bee311ef0a7d70a4895c4e945eb382eaf8","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9688-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q526730$CD312EF8-BA1A-495E-933D-13F59675CE21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46b06ad0236de029e04e0296396854fa560b906","datavalue":{"value":"W2528006531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$0B1B8BF7-55EF-4548-9C44-73F9816EE1B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$BC4C139F-400E-4353-9C37-A319574A2EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852d4b1b71410cb7a7f7b21a99c93090456f9524","datavalue":{"value":{"entity-type":"item","numeric-id":3522041,"id":"Q3522041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$2DC42F51-21D1-4CC1-900B-3D949C94DC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11039108a3bc0c7fffc97304db9d5fed280c1c69","datavalue":{"value":{"entity-type":"item","numeric-id":846527,"id":"Q846527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$5BA457DF-F32A-4D7F-ABF3-9B95DB014F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$E4547A1A-4BBE-4966-B492-23F3884E2F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$F7477B70-EBE2-4B46-9F91-2C36640FB5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$956ABE60-705F-4282-BEE4-01CCCF4B4B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ddd0ebdff7243b04f21569bd225d43d9c00d923","datavalue":{"value":{"entity-type":"item","numeric-id":792312,"id":"Q792312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$A3B5903C-C295-4E9D-A336-42340648463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$EC197024-A5EC-46AB-9E33-D7E067FE510F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14603eb27c23bda10625658815e707a2ac8645c","datavalue":{"value":{"entity-type":"item","numeric-id":3450208,"id":"Q3450208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526730$E683ED32-DF9F-4384-8BBF-D9B56485CBC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cbb433da1b09a96d2c87ddc21caf12a03d479c1","datavalue":{"value":"10.1007/S11225-016-9688-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526730$C54C2156-CBC4-4C47-B36D-888394D1F303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6042010fafd16d83403b3a63a31b79b10fc61f","datavalue":{"value":{"entity-type":"item","numeric-id":3522041,"id":"Q3522041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5312917f77fff95b1f88df1f70d2ef6d74ce85d4","datavalue":{"value":{"amount":"+0.8321245908737183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q526730$9EE6E430-1B30-4097-9685-63FFF4DF6DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651a4f952d9fadfdcda9f1a1f6b6f8790b6acddd","datavalue":{"value":{"entity-type":"item","numeric-id":4931571,"id":"Q4931571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f91933f8023a5685ebb2161f72f93d7b86502fe","datavalue":{"value":{"amount":"+0.7804285883903503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q526730$8D9D2487-B0A2-4DCC-9CFD-F852E98D0678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e0a7a43b3ac43608c34dbed6921707e1c56626","datavalue":{"value":{"entity-type":"item","numeric-id":3450208,"id":"Q3450208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246ba49f2d0baa1406245f799cd86851c8af81c8","datavalue":{"value":{"amount":"+0.7799971103668213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q526730$7CBD9855-7372-48A5-98F3-F9BC72BF0607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ca4eaad495ba695db82685e491eb6a374820b5","datavalue":{"value":{"entity-type":"item","numeric-id":2859116,"id":"Q2859116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eaa55e5f7d3aad281b712ed7e9f45f1accd1510","datavalue":{"value":{"amount":"+0.7797821164131165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q526730$C952AB18-9D81-433E-8058-FF6AF15B2C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf54bca1ab584ffa97407cbc499fd6dae83ab245","datavalue":{"value":{"entity-type":"item","numeric-id":846527,"id":"Q846527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d955d8c0bb6e57a18057f06b19a214673bdfb24","datavalue":{"value":{"amount":"+0.7742347121238708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q526730$CBF55A10-4952-4A05-BA1A-1403CE467929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableau_systems_for_deontic_action_logics_based_on_finite_Boolean_algebras,_and_their_complexity"}}}}}