{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T13:40:25Z","timestamp":1716385225412},"reference-count":23,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.139.2","type":"journal-article","created":{"date-parts":[[2014,1,2]],"date-time":"2014-01-02T23:28:41Z","timestamp":1388705321000},"page":"16-30","source":"Crossref","is-referenced-by-count":0,"title":["Automated Reasoning over Deontic Action Logics with Finite Vocabularies"],"prefix":"10.4204","volume":"139","author":[{"given":"Pablo F.","family":"Castro","sequence":"first","affiliation":[{"name":"Universidad Nacional de Rio Cuarto - CONICET"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas S. E.","family":"Maibaum","sequence":"additional","affiliation":[{"name":"McMaster University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2014,1,2]]},"reference":[{"key":"Blackburn","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"BroersenThesis","volume-title":"Modal Action Logics for Reasoning about Reactive Systems","author":"Broersen","year":"2003"},{"key":"PhDThesis","volume-title":"Deontic Action Logics for the Specification and Analysis of Fault-Tolerance","author":"Castro","year":"2009"},{"key":"DEON08","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70525-3_4","article-title":"A Tableaux System for Deontic Action Logic","volume-title":"Proceedings of 9th International Conference on Deontic Logic in Computer Science , Luxembourg.","author":"Castro","year":"2008"},{"issue":"4","key":"JAL2009","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jal.2009.02.001","article-title":"Deontic Action Logic, Atomic Boolean Algebra and Fault-Tolerance","volume":"7","author":"Castro","year":"2009","journal-title":"Journal of Applied Logic"},{"key":"Chellas","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1999"},{"key":"EmersonSurvey","first-page":"995","article-title":"Temporal and Modal Logic","volume-title":"Handbook of Theoretical Computer Science","author":"Emerson","year":"1995"},{"key":"Fine75","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","article-title":"Normal Forms in Modal Logics","volume-title":"Notre Dame Journal of Formal Logic","volume":"XVI","author":"Fine","year":"1975"},{"key":"Fitting","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0357-2","volume-title":"First-Order Logic and Automated Theorem Proving","author":"Fitting","year":"1990"},{"key":"Fitting72","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093894722","article-title":"Tableau Methods of Proof for Modal Logics","volume-title":"Notre Dame Journal of Formal Logic","volume":"XIII","author":"Fitting","year":"April 1972"},{"key":"Gabbay96","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems, Volume 1","author":"Gabbay","year":"1996"},{"key":"BooleanModalLogic","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0609-2_21","article-title":"A Note on Boolean Logic","volume-title":"Proceedings of the Heyting Summerschool","author":"Gargov","year":"1990"},{"key":"Giacomo-Massacci","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2852","article-title":"Tableaux and Algorithms for Propositional Dynamic Logic with Converse","volume-title":"Conference on Automated Deduction","author":"Giacomo","year":"1996"},{"key":"DynamicLogic","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"MaibaumKhosla","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51803-7_30","article-title":"The Prescription and Description of State-Based Systems.","volume-title":"Temporal Logic in Computation","author":"Khosla","year":"1985"},{"key":"Lutz2000","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1142\/9789812776471_0018","article-title":"The Complexity of Reasoning with Boolean Modal Logics","volume-title":"Advances in Modal Logic 3","author":"Lutz","year":"2000"},{"issue":"3","key":"Massacci2000","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1006155811656","article-title":"Single Step Tableaux for Modal Logics","volume":"24","author":"Massacci","year":"2000","journal-title":"J. Autom. Reasoning"},{"key":"J.J.Meyer","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093637776","article-title":"A Different Approach to Deontic Logic: Deontic Logic Viewed as Variant of Dynamic Logic","volume-title":"Notre Dame Journal of Formal Logic","volume":"29","author":"Meyer","year":"1988"},{"key":"Monk","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9452-5","volume-title":"Mathematical Logic","author":"Monk","year":"1976"},{"key":"Pratt78","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804362","volume-title":"A Practical Decision Method for Propositional Dynamic Logic","author":"Pratt","year":"1978"},{"key":"Segerberg82","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF00370348","article-title":"A Deontic Logic of Action","volume":"41","author":"Segerberg","year":"1982","journal-title":"Studia Logica"},{"key":"Smullyan68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"Smullyan","year":"1968"},{"key":"TrypuzKulicki2010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14183-6_11","article-title":"Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra","volume-title":"Deontic Logic in Computer Science, 10th International Conference","author":"Trypuz","year":"2010"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T13:01:51Z","timestamp":1716382911000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/arxiv.org\/abs\/1401.0969v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,2]]},"references-count":23,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.139.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,2]]}}}