{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:32:29Z","timestamp":1742913149351,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_24","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:01:02Z","timestamp":1503500462000},"page":"347-361","source":"Crossref","is-referenced-by-count":2,"title":["Strategic Knowledge of the Past in Quantum Cryptography"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Chareton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"6","key":"24_CR1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comp. 208(6), 677\u2013693 (2010)","journal-title":"Inf. Comp."},{"unstructured":"Mogavero, F., Murano, A., Vardi, M.Y.: Reasoning about strategies. In: Proceedings of FSTTCS, vol. 8, pp. 133\u2013144 (2010)","key":"24_CR2"},{"unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and Ability. Volume Handbook of Epistemic Logic. College Publications (2015)","key":"24_CR3"},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W Jamroga","year":"2007","unstructured":"Jamroga, W., \u00c5gotnes, T.: Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non-Class. Logics 17, 423\u2013475 (2007)","journal-title":"J. Appl. Non-Class. Logics"},{"doi-asserted-by":"crossref","unstructured":"Belardinelli, F.: Reasoning about knowledge and strategies: epistemic strategy logic. In: Proceedings of 2nd International Workshop on Strategic Reasoning, SR, pp. 27\u201333 (2014)","key":"24_CR5","DOI":"10.4204\/EPTCS.146.4"},{"unstructured":"Knight, S., Maubert, B.: Dealing with imperfect information in strategy logic. In: Proceedings of 3rd International Workshop on Strategic Reasoning, SR (2015)","key":"24_CR6"},{"key":"24_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch Van","year":"2007","unstructured":"Van Ditmarsch, H., van Der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, vol. 337. Springer, Dordrecht (2007)"},{"unstructured":"Bennett, C.H., Brassard, G.: Quantum cryptography: public key distribution and coin tossing. In: International Conference on Computers, Systems and Signal Processing, pp. 175\u2013179 (1984)","key":"24_CR8"},{"doi-asserted-by":"crossref","unstructured":"Bergfeld, J.M., Sack, J.: Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. Soft Comput., 1\u201321 (2015)","key":"24_CR9","DOI":"10.1007\/s00500-015-1802-6"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1142\/S0219749908003530","volume":"6","author":"P Baltazar","year":"2008","unstructured":"Baltazar, P., Chadha, R., Mateus, P.: Quantum computation tree logic, model checking and complete calculus. Int. J. Quantum Inf. 6, 219\u2013236 (2008)","journal-title":"Int. J. Quantum Inf."},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/BF00258445","volume":"8","author":"P Mittelstaedt","year":"1979","unstructured":"Mittelstaedt, P.: The modal logic of quantum logic. J. Phil. Logic 8, 479\u2013504 (1979)","journal-title":"J. Phil. Logic"},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00262076","volume":"6","author":"ML Dalla Chiara","year":"1977","unstructured":"Dalla Chiara, M.L.: Quantum logic and physical modalities. J. Phil. Logic 6, 391\u2013404 (1977)","journal-title":"J. Phil. Logic"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"RI Goldblatt","year":"1974","unstructured":"Goldblatt, R.I.: Semantic analysis of orthologic. J. Phil. Logic 3, 19\u201335 (1974)","journal-title":"J. Phil. Logic"},{"issue":"3","key":"24_CR14","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1017\/S0960129506005299","volume":"16","author":"A Baltag","year":"2006","unstructured":"Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16(3), 491 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"24_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-011-9915-7","volume":"186","author":"A Baltag","year":"2012","unstructured":"Baltag, A., Smets, S.: The dynamic turn in quantum logic. Synthese 186, 1\u201321 (2012)","journal-title":"Synthese"},{"issue":"12","key":"24_CR16","doi-asserted-by":"crossref","first-page":"3005","DOI":"10.1007\/s10773-010-0411-5","volume":"49","author":"A Baltag","year":"2010","unstructured":"Baltag, A., Smets, S.: Correlated knowledge: an epistemic-logic view on quantum entanglement. Int. J. Theoret. Phys. 49(12), 3005\u20133021 (2010)","journal-title":"Int. J. Theoret. Phys."},{"issue":"2","key":"24_CR17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2011.01.020","volume":"270","author":"A Baltag","year":"2011","unstructured":"Baltag, A., Smets, S.: Correlated information: a logic for multi-partite quantum systems. Electron. Not. Theoret. Comput. Sci. 270(2), 3\u201314 (2011)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"issue":"6","key":"24_CR18","doi-asserted-by":"crossref","first-page":"1121","DOI":"10.2478\/s12175-012-0069-y","volume":"62","author":"E Beltrametti","year":"2012","unstructured":"Beltrametti, E., Chiara, M., Giuntini, R., Sergioli, G.: Quantum teleportation and quantum epistemic semantics. Math. Slovaca 62(6), 1121\u20131144 (2012)","journal-title":"Math. Slovaca"},{"doi-asserted-by":"crossref","unstructured":"Chareton, C., Brunel, J., Chemouil, D.: Towards an updatable strategy logic. In: Proceedings of 1st International Workshop on Strategic Reasoning, SR, pp. 91\u201398 (2013)","key":"24_CR19","DOI":"10.4204\/EPTCS.112.14"},{"key":"24_CR20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.ic.2015.03.015","volume":"242","author":"C Chareton","year":"2015","unstructured":"Chareton, C., Brunel, J., Chemouil, D.: A logic with revocable and refinable strategies. Inf. Comput. 242, 157\u2013182 (2015)","journal-title":"Inf. Comput."},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-15648-8_16","volume-title":"Logics of Programs","author":"O Lichtenstein","year":"1985","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.: The glory of the past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 196\u2013218. Springer, Heidelberg (1985). doi: 10.1007\/3-540-15648-8_16"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/BFb0055090","volume-title":"Automata, Languages and Programming","author":"MY Vardi","year":"1998","unstructured":"Vardi, M.Y.: Reasoning about the past with two-way automata. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 628\u2013641. Springer, Heidelberg (1998). doi: 10.1007\/BFb0055090"},{"unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of 22nd IJCAI, pp. 854\u2013860 (2013)","key":"24_CR23"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-45069-6_3","volume-title":"Computer Aided Verification","author":"C Eisner","year":"2003","unstructured":"Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., McIsaac, A., Campenhout, D.: Reasoning with temporal logic on truncated paths. In: Hunt, W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 27\u201339. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-45069-6_3"},{"key":"24_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2012-637","volume":"115","author":"E Beltrametti","year":"2012","unstructured":"Beltrametti, E., et al.: Epistemic quantum computational structures in a hilbert-space environment. Fundamenta Informaticae 115, 1\u201314 (2012)","journal-title":"Fundamenta Informaticae"},{"issue":"21","key":"24_CR26","doi-asserted-by":"crossref","first-page":"3121","DOI":"10.1103\/PhysRevLett.68.3121","volume":"68","author":"CH Bennett","year":"1992","unstructured":"Bennett, C.H.: Quantum cryptography using any two nonorthogonal states. Phys. Rev. Lett. 68(21), 3121\u20133124 (1992)","journal-title":"Phys. Rev. Lett."},{"issue":"14","key":"24_CR27","doi-asserted-by":"crossref","first-page":"3018","DOI":"10.1103\/PhysRevLett.81.3018","volume":"81","author":"D Bru\u00df","year":"1998","unstructured":"Bru\u00df, D.: Optimal eavesdropping in quantum cryptography with six states. Phys. Rev. Lett. 81(14), 3018\u20133021 (1998)","journal-title":"Phys. Rev. Lett."}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T03:31:03Z","timestamp":1602819063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}