{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T14:12:20Z","timestamp":1763388740804},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s11229-011-9915-7","type":"journal-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T14:51:09Z","timestamp":1307371869000},"page":"753-773","source":"Crossref","is-referenced-by-count":21,"title":["The dynamic turn in quantum logic"],"prefix":"10.1007","volume":"186","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,7]]},"reference":[{"key":"9915_CR1","unstructured":"Aerts, D. (1981). The one and the many, towards a unification of the quantum and the classical description of one and many physical entities. PhD-thesis, Free University of Brussels."},{"key":"9915_CR2","unstructured":"Aerts, D. (1983). The description of one and many physical systems. In C. Gruber, C. Piron, T. M. TL\u2019m, R. Weill (Eds.), Les fondements de la m\u0150canique quantique, 25e cours de perfectionnement de l\u2019Association Vaudoise des Chercheurs en Physique Montana, du 6 au 12 mars 1983 (pp. 63\u2013148). Lausanne: l\u2019A.V.C.P."},{"key":"9915_CR3","first-page":"554","volume":"71","author":"H. B. Amira","year":"1998","unstructured":"Amira H. B., Stubbe I. (1998) How quantales emerge by introducing induction within the operational approach. Helvetica Physica Acta 71: 554\u2013572","journal-title":"Helvetica Physica Acta"},{"key":"9915_CR4","unstructured":"Balbiani, P. (2007) Propositional Dynamic Logic. Online entry of the Stanford Encyclopedia of Philosophy"},{"issue":"12","key":"9915_CR5","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. (2005) Complete axiomatizations for quantum actions. International Journal of Theoretical Physics 44(12): 2267\u20132282","journal-title":"International Journal of Theoretical Physics"},{"key":"9915_CR6","unstructured":"Baltag, A., & Smets, S. (2004). The Logic of Quantum Programs. In The proceedings of the 2nd international workshop on quantum programming languages (QPL 2004), TUCS general publication no. 33, Turku Center for Computer Science."},{"issue":"3","key":"9915_CR7","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1017\/S0960129506005299","volume":"16","author":"A. Baltag","year":"2006","unstructured":"Baltag A., Smets S. (2006) LQP: The dynamic logic of quantum information. Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages 16(3): 491\u2013525","journal-title":"Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages"},{"key":"9915_CR8","unstructured":"Baltag, A., & Smets S. (2008). A dynamic\u2014logical perspective on quantum behavior. In I. Douven, & L. Horsten (Eds.), Special issue: Applied logic in the philosophy of science. Studia logica, 89, 185\u2013209."},{"key":"9915_CR9","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Smets, S. (2010a). Quantum logic as a dynamic logic. In T. Kuipers, J. van Benthem, & H. Visser (Eds.), Synthese, 179(2), 285\u2013306.","DOI":"10.1007\/s11229-010-9783-6"},{"issue":"12","key":"9915_CR10","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. (2010b) Correlated knowledge, an epistemic-logic view on quantum entanglement. International Journal of Theoretical Physics 49(12): 3005\u20133021","journal-title":"International Journal of Theoretical Physics"},{"key":"9915_CR11","unstructured":"Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823\u2013843. Reprinted in C. A. Hooker (Ed.). (1975). The logico-algebraic approach to quantum mechanics (Vol. 1, pp. 1\u201326). Dordrecht: D. Reidel Publishing Company."},{"key":"9915_CR12","unstructured":"Chang, H. (2009). Operationalism. In Stanford encyclopedia of philosophy."},{"key":"9915_CR13","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/978-1-4020-2808-3_24","volume-title":"Logic, epistemology and the unity of science","author":"B. Coecke","year":"2004","unstructured":"Coecke B., Moore D.J., Smets S. (2004) Logic of dynamics & dynamics of logic; some paradigm examples. In: Rahman S., Symons J., Gabbay D.M., Van Bendegem J.P. (eds) Logic, epistemology and the unity of science. Kluwer, Dordrecht, pp 527\u2013556"},{"key":"9915_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1012377520222","volume":"14","author":"B. Coecke","year":"2001","unstructured":"Coecke B., Moore D. J., Stubbe I. (2001) Quantaloids describing causation and propagation for physical properties. Foundations of Physics Letters 14: 357\u2013367","journal-title":"Foundations of Physics Letters"},{"key":"9915_CR15","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. (2004) 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","journal-title":"International Journal of Theoretical Physics"},{"key":"9915_CR16","doi-asserted-by":"crossref","first-page":"3269","DOI":"10.1023\/A:1026642501652","volume":"38","author":"B. Coecke","year":"1999","unstructured":"Coecke B., Stubbe I. (1999) On a duality of quantales emerging from an operational resolution. International Journal of Theoretical Physics 38: 3269\u20133281","journal-title":"International Journal of Theoretical Physics"},{"key":"9915_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in quantum theory","author":"M. Dalla Chiara","year":"2004","unstructured":"Dalla Chiara M., Giuntini R., Greechie R. (2004) Reasoning in quantum theory. Kluwer Academic Pub, Dordrecht"},{"key":"9915_CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02120818","volume":"30","author":"H. Dishkant","year":"1972","unstructured":"Dishkant H. (1972) Semantics of the minimal logic of quantum mechanics. Studia Logica 30: 23\u201330","journal-title":"Studia Logica"},{"key":"9915_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-2834-8_1","volume-title":"Quantum structures and the nature of reality","author":"D. Foulis","year":"1999","unstructured":"Foulis D. (1999) A half century of quantum logic ? What have we learned?. In: Aerts D., Pykacz J. (eds) Quantum structures and the nature of reality. Kluwer Acad. Pub., Dordrecht, pp 1\u201336"},{"key":"9915_CR20","doi-asserted-by":"crossref","first-page":"1667","DOI":"10.1063\/1.1665890","volume":"13","author":"D. J. Foulis","year":"1972","unstructured":"Foulis D. J., Randall C. H. (1972) Operational statistics I., basic concepts. Journal of Mathematical Physics 13: 1667\u20131675","journal-title":"Journal of Mathematical Physics"},{"key":"9915_CR21","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00741647","volume":"14","author":"D. J. Foulis","year":"1984","unstructured":"Foulis D. J., Randall C. H. (1984) A note on misunderstandings of piron\u2019s axioms for quantum mechanics. Foundations of Physics 14: 65\u201381","journal-title":"Foundations of Physics"},{"key":"9915_CR22","unstructured":"Garson, J. (2009). \u201cModal Logic\u201d, online entry of the Stanford Encyclopedia of Philosophy."},{"key":"9915_CR23","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R. Goldblatt","year":"1974","unstructured":"Goldblatt R. (1974) Semantic analysis of orthologic. Journal of Philosophical Logic 3: 19\u201335","journal-title":"Journal of Philosophical Logic"},{"key":"9915_CR24","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/2274172","volume":"49","author":"R. Goldblatt","year":"1984","unstructured":"Goldblatt R. (1984) Orthomodularity is not elementary. The Journal of Symbolic Logic 49: 401\u2013404","journal-title":"The Journal of Symbolic Logic"},{"key":"9915_CR25","unstructured":"Gottwald, S. (2009). Many-valued logic. In Online entry of the Stanford encyclopedia of philosophy."},{"key":"9915_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D. Harel","year":"2000","unstructured":"Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. MIT Press, Cambridge"},{"key":"9915_CR27","unstructured":"Hodges, W. (2009). Logic and games. In Online entry of the Stanford encyclopedia of philosophy"},{"key":"9915_CR28","first-page":"766","volume":"9","author":"K. Husimi","year":"1937","unstructured":"Husimi K. (1937) Studies on the foundations of quantum mechanics I. Proceedings of Physico-Mathematical Society Japan 9: 766\u2013778","journal-title":"Proceedings of Physico-Mathematical Society Japan"},{"key":"9915_CR29","first-page":"842","volume":"42","author":"J. M. Jauch","year":"1969","unstructured":"Jauch J. M., Piron C. (1969) On the structure of quantal proposition systems. Helvetica Physica Acta 42: 842\u2013848","journal-title":"Helvetica Physica Acta"},{"key":"9915_CR30","volume-title":"Orthomodular lattices","author":"G. Kalmbach","year":"1983","unstructured":"Kalmbach G. (1983) Orthomodular lattices. Academic Press, NY"},{"key":"9915_CR31","doi-asserted-by":"crossref","unstructured":"Loomis, L. (1955). The lattice theoretic background of the dimension theory of operator algebras. Memoirs of the American Mathematical Society No. 18.","DOI":"10.1090\/memo\/0018"},{"key":"9915_CR32","doi-asserted-by":"crossref","first-page":"211","DOI":"10.32917\/hmj\/1556071219","volume":"19","author":"S. Maeda","year":"1955","unstructured":"Maeda S. (1955) Dimension functions on certain general lattices. Journal of Science of the Hiroshima University A 19: 211\u2013237","journal-title":"Journal of Science of the Hiroshima University A"},{"issue":"1","key":"9915_CR33","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1023\/A:1026669407606","volume":"37","author":"R. Mayet","year":"1998","unstructured":"Mayet R. (1998) Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms. International Journal of Theoretical Physics 37(1): 109\u2013114","journal-title":"International Journal of Theoretical Physics"},{"key":"9915_CR34","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S1355-2198(98)00033-1","volume":"30","author":"D. J. Moore","year":"1999","unstructured":"Moore D. J. (1999) On state spaces and property lattices. Studies in History and Philosophy of Modern Physics 30: 61\u201383","journal-title":"Studies in History and Philosophy of Modern Physics"},{"key":"9915_CR35","unstructured":"Piron, C. (1964). Axiomatique quantique (PhD-Thesis). Helvetica Physica Acta, 37, 439\u2013468. Quantum axiomatics (M. Cole, Trans.). RB4 Technical memo 107\/106\/104, GPO Engineering Department, London."},{"key":"9915_CR36","unstructured":"Piron, C. (1972). Survey of general quantum physics. Foundations of physics, 2, 287\u2013314. Reprinted in C. A. Hooker (Ed.). (1975). The logico-algebraic approach to quantum mechanics (Vol. I). Dordrecht: D. Reidel Publishing Company."},{"key":"9915_CR37","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. (1976) Foundations of quantum physics. W.A. Benjamin Inc, Massachusetts"},{"key":"9915_CR38","volume-title":"Boston studies in the philosophy of science","author":"H. Putnam","year":"1968","unstructured":"Putnam H. (1968) Is logic empirical?. In: Cohen R., Wartofsky M. (eds) Boston studies in the philosophy of science. D. Reidel, Holland, Dordrecht"},{"key":"9915_CR39","doi-asserted-by":"crossref","first-page":"1472","DOI":"10.1063\/1.1666208","volume":"14","author":"C. H. Randall","year":"1973","unstructured":"Randall C. H., Foulis D. J. (1973) Operational statistics II, manuals of operations and their logics. Journal of Mathematical Physics 14: 1472\u20131480","journal-title":"Journal of Mathematical Physics"},{"key":"9915_CR40","first-page":"257","volume":"91","author":"S. Smets","year":"2006","unstructured":"Smets S. (2006) From intuitionistic logic to dynamic operational quantum logic. Poznan Studies in Philosophy and the Humanities 91: 257\u2013275","journal-title":"Poznan Studies in Philosophy and the Humanities"},{"key":"9915_CR41","unstructured":"Smets, S. (2011). Logic and quantum physics, Journal of the Indian Council of Philosophical Research."},{"issue":"1","key":"9915_CR42","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/00927879508825218","volume":"23","author":"M. P. Sol\u00e8r","year":"1995","unstructured":"Sol\u00e8r M. P. (1995) Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra 23(1): 219\u2013243","journal-title":"Communications in Algebra"},{"key":"9915_CR43","volume-title":"Exploring logical dynamics, studies in logic, language and information","author":"J. Benthem van","year":"1996","unstructured":"van Benthem J. (1996) Exploring logical dynamics, studies in logic, language and information. CSLI Publications, Stanford"},{"key":"9915_CR44","unstructured":"van Benthem, J. (2003). A mini-guide to logic in action.Research Reports PP-2004-02, University of Amsterdam"},{"key":"9915_CR45","volume-title":"Dynamics of information and interaction","author":"J. Benthem van","year":"2010","unstructured":"van Benthem J. (2010) Dynamics of information and interaction. Cambridge University Press, New York"},{"key":"9915_CR46","unstructured":"von Neumann, J. (1932). Grundlagen der Quantenmechanik. Berlin: Springer Verlag (English translation: Mathematical foundations of quantum mechanics. New Jersey: Princeton University Press, 1996)."},{"key":"9915_CR47","unstructured":"Wilce, A. (2002). Quantum logic and probability theory. In stanford encyclopedia of philosophy."},{"key":"9915_CR48","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/B978-0-444-52869-8.50014-1","volume-title":"Handbook of quantum logic and quantum structures","author":"A. Wilce","year":"2009","unstructured":"Wilce A. (2009) Test spaces. In: Engesser K., Gabbay D., Lehmann D. (eds) Handbook of quantum logic and quantum structures. North-Holland, Elsevier, pp 443\u2013550"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11229-011-9915-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,19]],"date-time":"2020-06-19T22:22:49Z","timestamp":1592605369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9915-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,7]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9915"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9915-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,7]]}}}