{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T09:54:57Z","timestamp":1760608497250,"version":"3.34.0"},"reference-count":13,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Quantum Inform."],"published-print":{"date-parts":[[2008,4]]},"abstract":"<jats:p>Logics for reasoning about quantum states and their evolution have been given in the literature. In this paper, we consider quantum computation tree logic (QCTL), which adds temporal modalities to exogenous quantum propositional logic. We give a sound and complete axiomatization of QCTL and combine the standard CTL model-checking algorithm with the dEQPL model-checking algorithm to obtain a model-checking algorithm for QCTL. Finally, we illustrate the use of the logic by reasoning about the BB84 key distribution protocol.<\/jats:p>","DOI":"10.1142\/s0219749908003530","type":"journal-article","created":{"date-parts":[[2008,5,4]],"date-time":"2008-05-04T05:43:23Z","timestamp":1209879803000},"page":"219-236","source":"Crossref","is-referenced-by-count":30,"title":["QUANTUM COMPUTATION TREE LOGIC \u2014 MODEL CHECKING AND COMPLETE CALCULUS"],"prefix":"10.1142","volume":"06","author":[{"given":"P.","family":"BALTAZAR","sequence":"first","affiliation":[{"name":"SQIG \u2013 Instituto de Telecomunica\u00e7\u00f5es and IST\u2013TU Lisbon, Av. Rovisco Pais, 1049-001, Lisbon, Portugal"}]},{"given":"R.","family":"CHADHA","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois, Urbana, IL 61821, USA"}]},{"given":"P.","family":"MATEUS","sequence":"additional","affiliation":[{"name":"SQIG \u2013 Instituto de Telecomunica\u00e7\u00f5es and IST\u2013TU Lisbon, Av. Rovisco Pais, 1049-001, Lisbon, Portugal"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45220-1_34"},{"key":"rf2","doi-asserted-by":"crossref","unstructured":"R.\u00a0van der Meyden and M.\u00a0Patra, Theoretical Aspects of Rationality and Knowledge, ed. M.\u00a0Tennenholtz (ACM, 2003)\u00a0pp. 104\u2013117.","DOI":"10.1145\/846241.846257"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.02.001"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/10722010_6"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005299"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.003"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806125"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48483-3_4"},{"key":"rf19","first-page":"349","volume":"5","author":"Naur P.","journal-title":"Comput. J."},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05355-3"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"}],"container-title":["International Journal of Quantum Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219749908003530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T01:21:25Z","timestamp":1738200085000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219749908003530"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":13,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,4]]}},"alternative-id":["10.1142\/S0219749908003530"],"URL":"https:\/\/doi.org\/10.1142\/s0219749908003530","relation":{},"ISSN":["0219-7499","1793-6918"],"issn-type":[{"type":"print","value":"0219-7499"},{"type":"electronic","value":"1793-6918"}],"subject":[],"published":{"date-parts":[[2008,4]]}}}