{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T03:24:08Z","timestamp":1774668248195,"version":"3.50.1"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11229-010-9783-6","type":"journal-article","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T19:05:49Z","timestamp":1286996749000},"page":"285-306","source":"Crossref","is-referenced-by-count":42,"title":["Quantum logic as a dynamic logic"],"prefix":"10.1007","volume":"179","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,10,12]]},"reference":[{"key":"9783_CR1","first-page":"554","volume":"71","author":"H. Amira","year":"1998","unstructured":"Amira H., Coecke 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":"9783_CR2","volume-title":"Handbook of quantum logic and quantum structures","author":"G. Bacciagaluppi","year":"2008","unstructured":"Bacciagaluppi G. (2008) Is logic empirical?. In: Engesser K., Gabbay D. M., Lehmann D. (eds) Handbook of quantum logic and quantum structures. Elsevier, Amsterdam"},{"key":"9783_CR3","unstructured":"Baltag, A., & Smets, S. (2004). The logic of quantum programs. In P. Selinger (Ed.), Proceedings of the second international workshop on quantum programming languages (QPL2004), TUCS General Publication (Vol. 33, pp. 39\u201356). Turku Center for Computer Science."},{"issue":"12","key":"9783_CR4","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 of quantum actions. International Journal of Theoretical Physics 44(12): 2267\u20132282","journal-title":"International Journal of Theoretical Physics"},{"key":"9783_CR5","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Smets, S. (2006a). LQP: The dynamic logic of quantum information. In Mathematical structures in computer science, Special Issue on Quantum Programming Languages Vol. 16(3), pp. 491\u2013525.","DOI":"10.1017\/S0960129506005299"},{"key":"9783_CR6","unstructured":"Baltag, A., & Smets, S. (2006b). Logics for quantum information flow. Lecture notes, Course presented at ESSLLI2006, Malaga, Spain. www.vub.ac.be\/CLWF\/SS\/slides.html ."},{"key":"9783_CR7","unstructured":"Baltag, A., & Smets, S. (2008). A dynamic-logical perspective on quantum behavior. In L. Horsten & I. Douven (Eds.), Special issue: Applied logic in the philosophy of science. Studia logica. 89, 178\u2013211."},{"key":"9783_CR8","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Smets, S. (2010). Correlated knowledge, an epistemic-logic view on quantum entanglement. International Journal of Theoretical Physics. Accessed 1 July 2010.","DOI":"10.1007\/s10773-010-0411-5"},{"key":"9783_CR9","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1086\/289066","volume":"49","author":"J. Bell","year":"1982","unstructured":"Bell J., Hallett M. (1982) Logic, quantum logic and empiricism. Philosophy of Science 49: 355\u2013379","journal-title":"Philosophy of Science"},{"key":"9783_CR10","unstructured":"Beth, E. W. (1948). De wetenschap als cultuurfactor. In De functie der wetenschap. Tweede symposion der Soci\u00eb teit voor Culturele Samenwerking, s Gravenhage, 7\u201319, 1948. Translated from Dutch as \u201cScience as a cultural factor (1948)\u201d in E. W. Beth, Science a road to wisdom, collected philosophical studies, D. Reidel Publishing Company, Dordrecht, 1968."},{"key":"9783_CR11","unstructured":"Beth, E. W. (1948\/49). Analyse s\u00e9mantique des th\u00e9ories physiques. Synthese, 7, 206\u2013207."},{"key":"9783_CR12","unstructured":"Beth, E. W. (1949a). Natuurphilosophie. Gorinchem: Noorduijn en zoon n.v."},{"key":"9783_CR13","first-page":"178","volume":"1","author":"E.W. Beth","year":"1949","unstructured":"Beth E.W. (1949b) Towards an up-to-date philosophy of the natural sciences. Methodos 1: 178\u2013185","journal-title":"Methodos"},{"key":"9783_CR14","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/BF00485094","volume":"12","author":"E. W. Beth","year":"1960","unstructured":"Beth E. W. (1960) Semantics of physical theories. Synthese 12: 172\u2013175","journal-title":"Synthese"},{"key":"9783_CR15","unstructured":"Beth, E. W. (1968a). Scientific philosophy: Its aims and means (1948). In Science a road to wisdom, collected philosophical studies. Dordrecht: D. Reidel Publishing Company."},{"key":"9783_CR16","unstructured":"Beth, E. W. (1968b). \u201cIn Retrospect (1960)\u201d, translated from Dutch in Science a road to wisdom, collected philosophical studies. Dordrecht: D. Reidel Publishing Company."},{"key":"9783_CR17","unstructured":"Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823\u2013843, reprinted in C. A. Hooker (Ed.), The Logico-algebraic approach to quantum mechanics (Vol. 1, pp. 1\u201326). Dordrecht: D. Reidel Publishing Company."},{"key":"9783_CR18","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1086\/288364","volume":"38","author":"R. Butrick","year":"1971","unstructured":"Butrick R. (1971) Discussion: Putnam\u2019s revolution. Philosophy of Science 38: 290\u2013292","journal-title":"Philosophy of Science"},{"key":"9783_CR19","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1007\/BF01026176","volume":"30","author":"C. Cattaneo","year":"1991","unstructured":"Cattaneo C., Nistic\u00f3 G. (1991) Axiomatic foundations of quantum physics: Critiques and misunderstandings. Piron\u2019s question-proposition system. International Journal of Theoretical Physics 30: 1293\u20131336","journal-title":"International Journal of Theoretical Physics"},{"key":"9783_CR20","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. Springer, Netherlands, pp 527\u2013556"},{"key":"9783_CR21","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":"9783_CR22","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":"9783_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in quantum theory, sharp and unsharp quantum logics","author":"M. Dalla Chiara","year":"2004","unstructured":"Dalla Chiara M., Giuntini R., Greechie R. (2004) Reasoning in quantum theory, sharp and unsharp quantum logics. Kluwer Academic Publishers, Dordrecht"},{"key":"9783_CR24","first-page":"941","volume":"62","author":"W. Daniel","year":"1989","unstructured":"Daniel W. (1989) Axiomatic description of irreversible and reversible Evolution of a physical system. Helvetica Physica Acta 62: 941\u2013968","journal-title":"Helvetica Physica Acta"},{"key":"9783_CR25","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF00262078","volume":"6","author":"M. Drieschner","year":"1977","unstructured":"Drieschner M. (1977) Is (quantum) logic empirical?. Journal of Philosophical Logic 6: 415\u2013423","journal-title":"Journal of Philosophical Logic"},{"key":"9783_CR26","unstructured":"Dummett, M. (1976). Is logic empirical? In H. D. Lewis (Ed.), Contemporary British Philosophy (pp. 45\u201368). London: George Allen and Unwin. Reprinted in M. Dummett, Truth and Other Enigmas, p.269-289, Duckwort UK, 1978"},{"key":"9783_CR27","first-page":"150","volume":"68","author":"C. L.-A. Faure","year":"1995","unstructured":"Faure C. L.-A., Moore D. J., Piron C. (1995) Deterministic evolutions and Schrodinger flows. Helvetica Physica Acta 68: 150\u2013157","journal-title":"Helvetica Physica Acta"},{"key":"9783_CR28","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BF00649987","volume":"1","author":"M. Friedman","year":"1972","unstructured":"Friedman M., Glymour C. (1972) If quanta had logic. Journal of Philosophical Logic 1: 16\u201328","journal-title":"Journal of Philosophical Logic"},{"key":"9783_CR29","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1086\/288393","volume":"38","author":"M. R. Gardner","year":"1971","unstructured":"Gardner M. R. (1971) Is Quantum logic really logic?. Philosophy of Science 38: 508\u2013529","journal-title":"Philosophy of Science"},{"key":"9783_CR30","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":"9783_CR31","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. Journal of Symbolic Logic 49: 401\u2013404","journal-title":"Journal of Symbolic Logic"},{"key":"9783_CR32","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":"9783_CR33","first-page":"77","volume-title":"Current issues in quantum logic","author":"R. I. G. Hughes","year":"1979","unstructured":"Hughes R. I. G. (1979) Realism and quantum logic. In: Beltrametti G. E., van Fraassen B. C. (eds) Current issues in quantum logic. Plenum Press, New York, pp 77\u201387"},{"key":"9783_CR34","volume-title":"Foundations of quantum mechanics, reading","author":"J. M. Jauch","year":"1968","unstructured":"Jauch J. M. (1968) Foundations of quantum mechanics, reading. Addison-Wesley, Reading, MA"},{"key":"9783_CR35","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":"9783_CR36","volume-title":"Quanta","author":"J. M. Jauch","year":"1970","unstructured":"Jauch J. M., Piron C. (1970) What is \u201cQuantum-Logic\u201d?. In: Freund P. G. O., Goebel C. J., Nambu Y. (eds) Quanta. University Press, Chicago"},{"issue":"1","key":"9783_CR37","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":"9783_CR38","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":"9783_CR39","unstructured":"Piron, C. (1964). Axiomatique quantique (Ph.D. thesis). Helvetica Physica Acta, 37, 439\u2013468. English Translation by M. Cole: Quantum Axiomatics RB4 Technical memo 107\/106\/104, GPO Engineering Department, London."},{"key":"9783_CR40","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, Reading, MA"},{"key":"9783_CR41","unstructured":"Piron, C. (1990). M\u00e9canique quantique.Bases et applications (1st ed.). Lausanne: Presses polytechniques et universitaires romandes (Second corrected edition 1998)."},{"key":"9783_CR42","volume-title":"Boston studies in the philosophy of science (Vol.5)","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 (Vol.5). D. Reidel Publishing Company, Dordrecht"},{"key":"9783_CR43","unstructured":"Smets, S. (2001a). On causation and a counterfactual in quantum logic: The Sasaki hook. Logique et Analyse, 173\u2013175, 307\u2013325."},{"key":"9783_CR44","unstructured":"Smets, S. (2001b). The logic of physical properties, in static and dynamic perspective. Ph.D. thesis, Free University of Brussels."},{"key":"9783_CR45","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"},{"issue":"1","key":"9783_CR46","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":"9783_CR47","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1086\/289140","volume":"50","author":"A. Stairs","year":"1983","unstructured":"Stairs A. (1983) Quantum logic, realism, and value definiteness. Philosophy of Science 50: 578\u2013602","journal-title":"Philosophy of Science"},{"key":"9783_CR48","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":"9783_CR49","unstructured":"van Benthem, J. (in press). Logical dynamics of information and interaction. Cambridge University Press, to appear."},{"key":"9783_CR50","volume-title":"Logic and scientific philosophy. An E.W. Beth centenary celebration","year":"2008","unstructured":"van Benthem, J., Ulsen, P., Visser, H. (eds) (2008) Logic and scientific philosophy. An E.W. Beth centenary celebration. Beth Foundation, Amsterdam"},{"issue":"3","key":"9783_CR51","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1086\/288311","volume":"37","author":"B.C. Fraassen van","year":"1970","unstructured":"van Fraassen B.C. (1970) On the extension of Beth\u2019s semantics of physical theories. Philosophy of Science 37(3): 325\u2013339","journal-title":"Philosophy of Science"},{"key":"9783_CR52","first-page":"104","volume-title":"The process of science: Contemporary philosophical approaches to understanding scientific practice","author":"B. C. Fraassen van","year":"1987","unstructured":"van Fraassen B. C. (1987) The semantic approach to scientific theories. In: Nersessian N. J. (ed.) The process of science: Contemporary philosophical approaches to understanding scientific practice. Kluwer Academic Publishers, Dordrecht, pp 104\u2013124"},{"key":"9783_CR53","doi-asserted-by":"crossref","unstructured":"von Neumann, J. (1932). Grundlagen der Quantenmechanik. Berlin: Springer Verlag. English translation Mathematical Foundations of Quantum Mechanics. New Jersey: Princeton University Press, 1996.","DOI":"10.1007\/978-3-642-61409-5"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11229-010-9783-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T12:47:00Z","timestamp":1559738820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-010-9783-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,12]]},"references-count":53,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9783"],"URL":"https:\/\/doi.org\/10.1007\/s11229-010-9783-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,12]]}}}