{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T12:05:21Z","timestamp":1753877121087,"version":"3.41.2"},"reference-count":10,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T00:00:00Z","timestamp":1742083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"funder":[{"DOI":"10.13039\/\u00a0","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","id":[{"id":"10.13039\/\u00a0","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/\u00a0","name":"KAKENHI","doi-asserted-by":"publisher","award":["JP24K03372"],"award-info":[{"award-number":["JP24K03372"]}],"id":[{"id":"10.13039\/\u00a0","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop\u2019s lemma is used to prove the decidability of quantum modal logic.<\/jats:p>","DOI":"10.1093\/jigpal\/jzaf010","type":"journal-article","created":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T22:41:16Z","timestamp":1742164876000},"source":"Crossref","is-referenced-by-count":0,"title":["Decidability of quantum modal logic"],"prefix":"10.1093","volume":"33","author":[{"given":"Kenji","family":"Tokuo","sequence":"first","affiliation":[{"name":"Department of Information Engineering , Oita College, National Institute of Technology, Oita 870-0152, Japan"}]}],"member":"286","published-online":{"date-parts":[[2025,3,16]]},"reference":[{"key":"2025052605515091700_ref1","doi-asserted-by":"publisher","first-page":"977","DOI":"10.4153\/CJM-1976-095-6","article-title":"Free ortholattices","volume":"28","author":"Bruns","year":"1976","journal-title":"Can J Math"},{"key":"2025052605515091700_ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"2025052605515091700_ref3","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-94-017-0460-1_2","article-title":"Quantum logics","author":"Dalla Chiara","year":"2002","journal-title":"Handb Philos Log"},{"key":"2025052605515091700_ref4","doi-asserted-by":"publisher","first-page":"321","DOI":"10.2307\/2272861","article-title":"Imbedding of the quantum logic in the modal system of Brower","volume":"42","author":"Dishkant","year":"1977","journal-title":"J Symb Log"},{"key":"2025052605515091700_ref5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00652069","article-title":"Semantic analysis of orthologic","volume":"3","author":"Goldblatt","year":"1974","journal-title":"J Philos Log"},{"volume-title":"Logics of Time and Computation","year":"1987","author":"Goldblatt","key":"2025052605515091700_ref6"},{"key":"2025052605515091700_ref7","first-page":"1","article-title":"On the existence of finite models and decision procedures for propositional calculi","volume-title":"Mathematical Proceedings of the Cambridge Philosophical Society 54","author":"Harrop","year":"1958"},{"volume-title":"Orthomodular Lattices","year":"1983","author":"Kalmbach","key":"2025052605515091700_ref8"},{"key":"2025052605515091700_ref9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.2307\/2273194","article-title":"Sequential method in quantum logic","volume":"45","author":"Nishimura","year":"1980","journal-title":"J Symb Log"},{"key":"2025052605515091700_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzae123","article-title":"Quantum modal logic","author":"Tokuo","year":"2024","journal-title":"Log J IGPL"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/3\/jzaf010\/62419084\/jzaf010.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/3\/jzaf010\/62419084\/jzaf010.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T09:52:03Z","timestamp":1748253123000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzaf010\/8079118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,16]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,5,23]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaf010","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2025,6]]},"published":{"date-parts":[[2025,3,16]]},"article-number":"jzaf010"}}