{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:39:21Z","timestamp":1725799161985},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441442"},{"type":"electronic","value":"9783662441459"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44145-9_1","type":"book-chapter","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T01:10:45Z","timestamp":1408756245000},"page":"1-19","source":"Crossref","is-referenced-by-count":9,"title":["Quantum State Transformations and Branching Distributed Temporal Logic"],"prefix":"10.1007","author":[{"given":"Luca","family":"Vigan\u00f2","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Volpe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margherita","family":"Zorzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1017\/S0960129506005275","volume":"16","author":"S. Abramsky","year":"2006","unstructured":"Abramsky, S., Duncan, R.: A categorical quantum logic. Math. Structures Comput. Sci.\u00a016(3), 469\u2013489 (2006)","journal-title":"Math. Structures Comput. Sci."},{"key":"1_CR2","unstructured":"Baltag, A., Smets, S.: The logic of quantum programs. In: Proceedings of the 2nd QPL (2004)"},{"issue":"3","key":"1_CR3","doi-asserted-by":"publisher","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. Structures Comput. Sci.\u00a016(3), 491\u2013525 (2006)","journal-title":"Math. Structures Comput. Sci."},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","volume":"179","author":"A. Baltag","year":"2011","unstructured":"Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese\u00a0179(2), 285\u2013306 (2011)","journal-title":"Synthese"},{"issue":"6","key":"1_CR5","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1093\/logcom\/exp022","volume":"19","author":"D. Basin","year":"2009","unstructured":"Basin, D., Caleiro, C., Ramos, J., Vigan\u00f2, L.: Labelled tableaux for distributed temporal logic. J. Log. and Comput.\u00a019(6), 1245\u20131279 (2009)","journal-title":"J. Log. and Comput."},{"issue":"31","key":"1_CR6","doi-asserted-by":"publisher","first-page":"4007","DOI":"10.1016\/j.tcs.2011.04.006","volume":"412","author":"D. Basin","year":"2011","unstructured":"Basin, D., Caleiro, C., Ramos, J., Vigan\u00f2, L.: Distributed Temporal Logic for the Analysis of Security Protocol Models. Theor. Comput. Sci.\u00a0412(31), 4007\u20134043 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. In: Proceedings of POPL. ACM Press (1981)","DOI":"10.1145\/567532.567551"},{"key":"1_CR8","unstructured":"Bennett, C.H., Brassard, G.: Quantum cryptography: Public key distribution and coin tossing. In: Proceedings of IEEE International Conference on Computers, Systems, and Signal Processing, pp. 175\u2013179 (1984)"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. of Math. (2)\u00a037(4), 823\u2013843 (1936)","journal-title":"Ann. of Math. (2)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Vigan\u00f2, L., Volpe, M.: A Labeled Deduction System for the Logic UB. In: Proceedings of TIME. IEEE CS Press (2013)","DOI":"10.1109\/TIME.2013.14"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M.L.: Quantum logic. In: Handbook of Philosophical Logic III, pp. 427\u2013469. Reidel (1986)","DOI":"10.1007\/978-94-009-5203-4_7"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/s002360050167","volume":"36","author":"H.-D. Ehrich","year":"2000","unstructured":"Ehrich, H.-D., Caleiro, C.: Specifying communication in distributed information systems. Acta Informatica\u00a036, 591\u2013616 (2000)","journal-title":"Acta Informatica"},{"key":"1_CR13","unstructured":"Engesser, K., Gabbay, D.M., Lehmann, D.: A New Approach to Quantum Logic. College Publications (2007)"},{"key":"1_CR14","unstructured":"Engesser, K., Gabbay, D.M., Lehmann, D. (eds.): Handbook of Quantum Logic and Quantum Structures. Elsevier (2009)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M.: Labelled Deductive Systems, vol.\u00a01. Clarendon Press (1996)","DOI":"10.1093\/oso\/9780198538332.003.0001"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-70545-1_51","volume-title":"Computer Aided Verification","author":"S.J. Gay","year":"2008","unstructured":"Gay, S.J., Nagarajan, R., Papanikolaou, N.: QMC: A Model Checker for Quantum Systems. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 543\u2013547. Springer, Heidelberg (2008)"},{"key":"1_CR17","unstructured":"Girard, J.-Y.: Proof theory and logical complexity, vol.\u00a01. Bibliopolis (1987)"},{"key":"1_CR18","unstructured":"Kouvaros, P., Lomuscio, A.: Automatic verification of parameterised multi-agent systems. In: Proceedings of AAMAS (2013)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Masini, A., Vigan\u00f2, L., Zorzi, M.: A qualitative modal representation of quantum state transformations. In: Proceedings of the 38th ISMVL. IEEE CS Press (2008)","DOI":"10.1109\/ISMVL.2008.36"},{"issue":"5-6","key":"1_CR20","first-page":"475","volume":"17","author":"A. Masini","year":"2011","unstructured":"Masini, A., Vigan\u00f2, L., Zorzi, M.: Modal Deduction Systems for Quantum State Transformations. Multiple-Valued Logic and Soft Computing\u00a017(5-6), 475\u2013519 (2011)","journal-title":"Multiple-Valued Logic and Soft Computing"},{"issue":"4","key":"1_CR21","first-page":"479","volume":"8","author":"P. Mittelstaedt","year":"1979","unstructured":"Mittelstaedt, P.: The modal logic of quantum logic. J. Philos. Logic\u00a08(4), 479\u2013504 (1979)","journal-title":"J. Philos. Logic"},{"key":"1_CR22","unstructured":"Nielsen, M., Chuang, I.: Quantum computation and quantum information. Cambridge University Press (2000)"},{"key":"1_CR23","unstructured":"Prawitz, D.: Natural Deduction: a Proof-Theoretical Study. Almquist and Wiskell (1965)"},{"key":"1_CR24","unstructured":"Simpson, A.K.: The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, School of Informatics, University of Edinburgh (1994)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2, L.: Labelled Non-Classical Logics. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"1_CR26","unstructured":"Winskel, G., Nielsen, M.: Event structures. In: Handbook of Logic in Computer Science IV. Oxford University Press (1995)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44145-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T20:45:32Z","timestamp":1717274732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44145-9_1"}},"subtitle":["(Invited Paper)"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441442","9783662441459"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44145-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}