{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T03:24:11Z","timestamp":1774668251440,"version":"3.50.1"},"reference-count":19,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T00:00:00Z","timestamp":1731369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP24K03372"],"award-info":[{"award-number":["JP24K03372"]}],"id":[{"id":"10.13039\/501100001691","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>A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are demonstrated. This framework is intended to serve as a basis for formalizing various modal logics over quantum logic, such as quantum alethic logic, quantum temporal logic, quantum epistemic logic, and quantum dynamic logic.<\/jats:p>","DOI":"10.1093\/jigpal\/jzae123","type":"journal-article","created":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T08:48:06Z","timestamp":1731660486000},"source":"Crossref","is-referenced-by-count":2,"title":["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 , 1666 Maki, Oita 870-0152 ,","place":["Japan"]}]}],"member":"286","published-online":{"date-parts":[[2024,11,12]]},"reference":[{"key":"2025052605514234000_ref1","doi-asserted-by":"crossref","first-page":"3005","DOI":"10.1007\/s10773-010-0411-5","article-title":"Correlated knowledge: an epistemic-logic view on quantum entanglement","volume":"49","author":"Baltag","year":"2010","journal-title":"Int J Theor Phys"},{"key":"2025052605514234000_ref2","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1007\/s11229-011-9915-7","article-title":"The dynamic turn in quantum logic","volume":"186","author":"Baltag","year":"2012","journal-title":"Synthese"},{"key":"2025052605514234000_ref3","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The logic of quantum mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Ann Math"},{"key":"2025052605514234000_ref4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00262076","article-title":"Quantum logic and physical modalities","volume":"6","author":"Dalla Chiara","year":"1977","journal-title":"J Philos Log"},{"key":"2025052605514234000_ref5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-94-017-0460-1_2","article-title":"Quantum logics","author":"Dalla Chiara","year":"2002","journal-title":"Handbook Philos Log"},{"key":"2025052605514234000_ref6","first-page":"23","article-title":"Semantics of the minimal logic of quantum mechanics","volume":"30","author":"Dishkant","year":"1972","journal-title":"Stud Log Int J Symb Log"},{"key":"2025052605514234000_ref7","doi-asserted-by":"crossref","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":"2025052605514234000_ref8","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF02124800","article-title":"An extension of the \u0141ukasiewicz logic to the modal logic of quantum mechanics","volume":"37","author":"Dishkant","year":"1978","journal-title":"Stud Log"},{"key":"2025052605514234000_ref9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503811.001.0001","volume-title":"Fibring Logics","author":"Gabbay","year":"1998"},{"key":"2025052605514234000_ref10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","article-title":"Semantic analysis of orthologic","volume":"3","author":"Goldblatt","year":"1974","journal-title":"J Philos Log"},{"key":"2025052605514234000_ref11","article-title":"Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics","author":"Holliday","year":"2022"},{"key":"2025052605514234000_ref12","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1007\/s10992-024-09746-7","article-title":"The orthologic of epistemic modals","volume":"53","author":"Holliday","year":"2024","journal-title":"J Philos Log"},{"key":"2025052605514234000_ref13","article-title":"Modal logic, fundamentally","author":"Holliday","year":"2024"},{"key":"2025052605514234000_ref15","volume-title":"The Mathematical Foundations of Quantum Mechanics","author":"Mackey","year":"1963"},{"key":"2025052605514234000_ref16","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/BF00258445","article-title":"The modal logic of quantum logic","volume":"8","author":"Mittelstaedt","year":"1979","journal-title":"J Philos Log"},{"key":"2025052605514234000_ref14","doi-asserted-by":"crossref","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":"2025052605514234000_ref17","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1093\/jigpal\/jzi009","article-title":"Towards a modal logical treatment of quantum physics","volume":"13","author":"Pessoa Jr","year":"2005","journal-title":"Log J IGPL"},{"key":"2025052605514234000_ref18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-1-4613-3228-2_16","article-title":"A modal interpretation of quantum mechanics","volume-title":"Current Issues in Quantum Logica","author":"van Fraassen","year":"1981"},{"key":"2025052605514234000_ref19","article-title":"Quantum temporal logic","author":"Yu","year":"2019"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/3\/jzae123\/60658246\/jzae123.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/33\/3\/jzae123\/60658246\/jzae123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T09:51:56Z","timestamp":1748253116000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzae123\/7895694"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,12]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,5,23]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzae123","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2025,6]]},"published":{"date-parts":[[2024,11,12]]},"article-number":"jzae123"}}