{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T16:54:59Z","timestamp":1781283299515,"version":"3.54.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,11,28]],"date-time":"2014-11-28T00:00:00Z","timestamp":1417132800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s11225-014-9592-x","type":"journal-article","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T13:38:15Z","timestamp":1417527495000},"page":"781-805","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Duality for the Logic of Quantum Actions"],"prefix":"10.1007","volume":"103","author":[{"given":"Jort M.","family":"Bergfeld","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kohei","family":"Kishida","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joshua","family":"Sack","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shengyang","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,11,28]]},"reference":[{"key":"9592_CR1","doi-asserted-by":"crossref","unstructured":"Aerts, D., Quantum axiomatics, in K. Engesser, D. M. Gabbay, and D. Lehmann, (eds.), Handbook of Quantum Logic and Quantum Structures, 1st edn., Elsevier Science B.V., Amsterdam, 2009, pp. 79\u2013126.","DOI":"10.1016\/B978-0-444-52869-8.50007-4"},{"key":"9592_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001","volume-title":"Category Theory","author":"S. Awodey","year":"2006","unstructured":"Awodey S.: Category Theory. Oxford University Press, Oxford (2006)"},{"issue":"12","key":"9592_CR3","doi-asserted-by":"crossref","first-page":"2267","DOI":"10.1007\/s10773-005-8022-2","volume":"44","author":"A. Baltag","year":"2005","unstructured":"Baltag A., Smets S.: Complete axiomatizations for quantum actions. International Journal of Theoretical Physics 44(12), 2267\u20132282 (2005)","journal-title":"International Journal of Theoretical Physics"},{"issue":"3","key":"9592_CR4","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. Mathematical Structures in Computer Science 16(3), 491\u2013525 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9592_CR5","unstructured":"Beltrametti, E., and G. Cassinelli, The Logic of Quantum Mechanics, Encyclopedia of Mathematics and Its Applications, Addison-Wesley Publishing Company, Boston, 1981."},{"key":"9592_CR6","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff G.: Lattice Theory. American Mathematical Society, New York (1967)","edition":"3rd edn"},{"key":"9592_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9592_CR8","doi-asserted-by":"crossref","first-page":"1705","DOI":"10.1023\/B:IJTP.0000048815.92983.6e","volume":"43","author":"B. Coecke","year":"2004","unstructured":"Coecke B., Smets S.: The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. International Journal of Theoretical Physics 43, 1705\u20131736 (2004)","journal-title":"International Journal of Theoretical Physics"},{"issue":"1","key":"9592_CR9","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1023\/A:1014933313332","volume":"90","author":"C.-A. Faure","year":"2002","unstructured":"Faure C.-A.: An elementary proof of the fundamental theorem of projective geometry (dedicated to Alfred Fr\u00f6licher). Geometriae Dedicata 90(1), 145\u2013151 (2002)","journal-title":"Geometriae Dedicata"},{"key":"9592_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R. Goldblatt","year":"1974","unstructured":"Goldblatt R.: Semantic analysis of orthologic. Journal of Philosophical Logic 3, 19\u201335 (1974)","journal-title":"Journal of Philosophical Logic"},{"key":"9592_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel D., Tiuryn J., Kozen D.: Dynamic Logic. MIT Press, Cambridge, MA (2000)"},{"key":"9592_CR12","volume-title":"Stone Spaces","author":"P.T. Johnstone","year":"1982","unstructured":"Johnstone P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"9592_CR13","volume-title":"Orthomodular Lattices","author":"G. Kalmbach","year":"1983","unstructured":"Kalmbach G.: Orthomodular Lattices. Academic Press, London (1983)"},{"key":"9592_CR14","unstructured":"Kozen, D., K. G. Larsen, R. Mardare, and P. Panangaden, Stone duality for Markov processes, in Proceedings of the 28th Annual IEEE Symposium on Logic in Computer Science: LICS."},{"key":"9592_CR15","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1023\/A:1026669407606","volume":"37","author":"R. Mayet","year":"1998","unstructured":"Mayet R.: Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms. International Journal of Theoretical Physics 37, 109\u2013114 (1998)","journal-title":"International Journal of Theoretical Physics"},{"key":"9592_CR16","first-page":"658","volume":"68","author":"D.J. Moore","year":"1995","unstructured":"Moore D.J.: Categories of representations of physical systems. Helvetica Physica Acta 68, 658\u2013678 (1995)","journal-title":"Helvetica Physica Acta"},{"issue":"1","key":"9592_CR17","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S1355-2198(98)00033-1","volume":"30","author":"D.J Moore","year":"1999","unstructured":": On state spaces and property lattices. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30(1), 61\u201383 (1999)","journal-title":"Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics"},{"key":"9592_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1440-3_7","volume-title":"Foundations of Quantum Physics","author":"C. Piron","year":"1976","unstructured":"Piron C.: Foundations of Quantum Physics. W.A. Benjamin Inc., San Francisco (1976)"},{"key":"9592_CR19","first-page":"37","volume":"40","author":"M.H. Stone","year":"1936","unstructured":"Stone M.H.: The theory of representations for Boolean algebras. Transactions of the American Mathematical Society 40, 37\u2013111 (1936)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9592_CR20","doi-asserted-by":"crossref","unstructured":"Stubbe, I., and B. van Steirteghem, Propositional systems, Hilbert lattices and generalized Hilbert spaces, in K. Engesser, D. M. Gabbay, and D. Lehmann, (eds.), Handbook of Quantum Logic and Quantum Structures, Elsevier Science B.V., Amsterdam, 2007, pp. 477\u2013523.","DOI":"10.1016\/B978-044452870-4\/50033-9"},{"key":"9592_CR21","doi-asserted-by":"crossref","unstructured":"Venema, Y., Algebras and coalgebras, in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, vol. 3 of Studies in Logic and Practical Reasoning, Elsevier, New York, 2007, pp. 331\u2013426.","DOI":"10.1016\/S1570-2464(07)80009-7"},{"key":"9592_CR22","unstructured":"Wilce, A., Quantum logic and probability theory, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, fall 2012 edn., 2012."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9592-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9592-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9592-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T01:53:54Z","timestamp":1566093234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9592-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,28]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["9592"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9592-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,28]]}}}