{"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":1774668248171,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1007\/s11225-008-9126-5","type":"journal-article","created":{"date-parts":[[2008,7,3]],"date-time":"2008-07-03T08:46:07Z","timestamp":1215074767000},"page":"187-211","source":"Crossref","is-referenced-by-count":20,"title":["A Dynamic-Logical Perspective on Quantum Behavior"],"prefix":"10.1007","volume":"89","author":[{"given":"A.","family":"Baltag","sequence":"first","affiliation":[]},{"given":"S.","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,4]]},"reference":[{"key":"9126_CR1","unstructured":"Abramsky, S., and B. Coecke, \u2018A Categorical Semantics of Quantum Protocols\u2019, in the proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS\u201904). Available at arXiv:quant-ph\/0402130."},{"key":"9126_CR2","doi-asserted-by":"crossref","unstructured":"Aerts, D., \u2018Description of compound physical systems and logical interaction of physical systems\u2019, in E.G. Beltrametti, and B. C. van Fraassen (eds.), Current Issues on Quantum Logic, Ettore Majorana, International Science Series, Physical Sciences, vol. 8. Dordrecht: Kluwer Academic, 1981, pp. 381\u2013405","DOI":"10.1007\/978-1-4613-3228-2_26"},{"key":"9126_CR3","first-page":"554","volume":"71","author":"H. Amira","year":"1998","unstructured":"Amira H., Coecke B. and Stubbe I. (1998). \u2018How Quantales Emerge by Introducing Induction within the Operational Approach\u2019. Helvetica Physica Acta 71: 554\u2013572","journal-title":"Helvetica Physica Acta"},{"key":"9126_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag A. and Moss L. (2004). \u2018Logics for Epistemic Programs\u2019. Synthese 139: 165\u2013224","journal-title":"Synthese"},{"key":"9126_CR5","unstructured":"Baltag, A., L. Moss, and H. van Ditmarsch, \u2018Epistemic Logic and Information Update\u2019, Handbook on the Philosophy of Information, in press."},{"key":"9126_CR6","doi-asserted-by":"crossref","unstructured":"Baltag, A., and S. Smets, \u2018Complete Axiomatizations of Quantum Actions\u2019, International Journal of Theoretical Physics 44(12):2267\u20132282, 2005. Available at ( http:\/\/www.vub.ac.be\/CLWF\/SS\/IQSA.pdf )","DOI":"10.1007\/s10773-005-8022-2"},{"key":"9126_CR7","unstructured":"Baltag, A., and S. Smets, \u2018The Logic of Quantum Programs\u2019, in P. Selinger (ed.), Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL2004), TUCS General Publication 33:39\u201356 Turku Center for Computer Science, 2004. PHILSCI00001799"},{"key":"9126_CR8","doi-asserted-by":"crossref","unstructured":"Baltag, A., and S. Smets, \u2018LQP: The Dynamic Logic of Quantum Information\u2019, in Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages 16(3):491\u2013525, 2006.","DOI":"10.1017\/S0960129506005299"},{"key":"9126_CR9","unstructured":"Baltag, A., and S. Smets, \u2018What can Logic Fearn from Quantum Mechanics?\u2019, paper presented at ECAP2005, available at ( http:\/\/www.vub.ac.be\/CLWF\/SS\/ECAP.pdf )"},{"key":"9126_CR10","doi-asserted-by":"crossref","unstructured":"Baltag, A., and S. Smets, \u2018Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision\u2019, in G. Mints and R. de Queiroz (eds.), Electronic Notes in Theoretical Computer Science 165:5\u201321, 2006.","DOI":"10.1016\/j.entcs.2006.05.034"},{"key":"9126_CR11","unstructured":"Baltag, A., and S. Smets, \u2018The Logic of Conditional Doxastic Actions: A Theory of Dynamic Multi-Agent Belief Revision\u2019, in S. Artemov and R. Parikh (eds.), Proceedings of the Workshop on Rationality and Knowledge, ESSLLI 2006."},{"key":"9126_CR12","unstructured":"Baltag, A., and S. Smets, \u2018Dynamic Belief Revision over Multi-Agent Plausibility Models\u2019, in G. Bonanno, W. van de Hoek, and M. Woolridge (eds.), 7th Conference on Logic and the Foundations of Game and Decision, Liverpool, 2006."},{"key":"9126_CR13","doi-asserted-by":"crossref","unstructured":"Baltag, A., and S. Smets, \u2018A Qualitative Theory of Dynamic Interactive Belief Revision\u2019, Submitted for publication to G. Bonanno, W. van der Hoek, and M.Wooldridge (eds.), Texts in Logic and Games, Amsterdam University Press.","DOI":"10.1007\/978-3-319-20451-2_39"},{"key":"9126_CR14","unstructured":"Baltag, A., and S. Smets, \u2018Probabilistic Dynamic Belief Revision\u2019, to appear in J. van Benthem, S. Ju, and F. Veltman (eds.), College Publications, London 2007."},{"key":"9126_CR15","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"J.S. Bell","year":"1964","unstructured":"Bell J.S. (1964). \u2018On the Einstein Podolsky Rosen Paradox\u2019. Physics 1: 195\u2013200","journal-title":"Physics"},{"key":"9126_CR16","doi-asserted-by":"crossref","unstructured":"van Benthem, J., \u2018Dynamic Logic for Belief Revision\u2019, ILLC Tech Report. DARE electronic archive, University of Amsterdam, 2006. To appear in Journal of Applied Non-Classical Logics.","DOI":"10.3166\/jancl.17.129-155"},{"key":"9126_CR17","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":"9126_CR18","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff G. and von Neumann J. (1936). \u2018The Logic of Quantum Mechanics\u2019. Annals of Mathematics 37: 823\u2013843","journal-title":"Annals of Mathematics"},{"key":"9126_CR19","unstructured":"Coecke, B., \u2018The Logic of Entanglement\u2019, Research Report, March 2004, arXiv:quant-ph\/0402014."},{"key":"9126_CR20","doi-asserted-by":"crossref","unstructured":"Coecke, B., D.J. Moore, and S. Smets, \u2018Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples\u2019, in S. Rahman, J. Symons, D.M. Gabbay, and J.P. Van Bendegem (eds.), Logic, Epistemology and the Unity of Science 527\u2013556, 2004.","DOI":"10.1007\/978-1-4020-2808-3_24"},{"key":"9126_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. and Stubbe I. (2001). \u2018Quantaloids Describing Causation and Propagation for Physical Properties\u2019. Foundations of Physics Letters 14: 357\u2013367. arXiv:quant-ph\/0009100","journal-title":"Foundations of Physics Letters"},{"key":"9126_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. and Smets S. (2004). \u2018The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes\u2019. International Journal of Theoretical Physics 43: 1705\u20131736. (arXiv: quant-ph\/0111076)","journal-title":"International Journal of Theoretical Physics"},{"key":"9126_CR23","doi-asserted-by":"crossref","first-page":"3269","DOI":"10.1023\/A:1026642501652","volume":"38","author":"B. Coecke","year":"1999","unstructured":"Coecke B. and Stubbe I. (1999). \u2018On a Duality of Quantales Emerging from an Operational Resolution\u2019. International Journal of Theoretical Physics 38: 3269\u20133281","journal-title":"International Journal of Theoretical Physics"},{"key":"9126_CR24","first-page":"330","volume":"55","author":"W. Daniel","year":"1982","unstructured":"Daniel W. (1982). \u2018On the Non-Unitary Evolution of Quantum Systems\u2019. Helvetica Physica Acta 55: 330\u2013338","journal-title":"Helvetica Physica Acta"},{"key":"9126_CR25","first-page":"941","volume":"62","author":"W. Daniel","year":"1989","unstructured":"Daniel W. (1989). \u2018Axiomatic Description of Irreversible and Reversible Evolution of a Physical System\u2019. Helvetica Physica Acta 62: 941\u2013968","journal-title":"Helvetica Physica Acta"},{"key":"9126_CR26","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"47","author":"A. Einstein","year":"1935","unstructured":"Einstein A., Podolsky B. and Rosen N. (1935). \u2018Can Quantum Mechanical Description of Reality Be Considered Complete?\u2019. Physical Review 47: 777\u201380","journal-title":"Physical Review"},{"key":"9126_CR27","doi-asserted-by":"crossref","unstructured":"Fagin, R., J. Halpern, Y. Moses, and M. Vardi, Reasoning about Knowldege, MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9126_CR28","first-page":"150","volume":"68","author":"CL.-A. Faure","year":"1995","unstructured":"Faure CL.-A., Moore D.J. and Piron C. (1995). \u2018Deterministic Evolutions and Schrodinger Flows\u2019. Helvetica Physica Acta 68: 150\u2013157","journal-title":"Helvetica Physica Acta"},{"key":"9126_CR29","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P. (1988). Knowledge in Flux. MIT Press, Cambridge MA"},{"key":"9126_CR30","doi-asserted-by":"crossref","unstructured":"Harel, D., D. Kozen, and J. Tiuryn, Dynamic Logic, MIT Press, 2000.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"9126_CR31","volume-title":"The Structure and Interpretation of Quantum Mechanics","author":"R.I.G. Hughes","year":"1989","unstructured":"Hughes R.I.G. (1989). The Structure and Interpretation of Quantum Mechanics. Harvard University Press, Massachusetts"},{"key":"9126_CR32","unstructured":"Maudlin, T., Quantum Non-Locality and Relativity, Blackwell Oxford, 1994."},{"key":"9126_CR33","doi-asserted-by":"crossref","unstructured":"Pauli, W., Handbuch der Physik, Vol.5, Part 1: Prinzipien der Quantentheorie 1, 1958; English translation by P. Achuthan and K. Venkatsesan, General Principles of Quantum Mechanics, Springer Verlag, Berlin, 1980.","DOI":"10.1007\/978-3-642-80539-4_1"},{"key":"9126_CR34","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":"9126_CR35","doi-asserted-by":"crossref","unstructured":"Smets, S., \u2018From Intuitionistic Logic to Dynamic Operational Quantum Logic\u2019, Poznan Studies in Philosophy and the Humanities, vol. 91, 2006.","DOI":"10.1163\/9789004332966_017"},{"key":"9126_CR36","unstructured":"Spekkens, R.W., \u2018In defense of the epistemic view of quantum states: a toy theory\u2019, arXiv:quant-ph\/0401052v2 ,2005."},{"key":"9126_CR37","unstructured":"Valckenborgh, F., \u2018Compound Systems in Quantum Axiomatics\u2019, Doctoral Thesis, Vrije Universiteit Brussel, 2001."},{"key":"9126_CR38","doi-asserted-by":"crossref","unstructured":"von Neumann, J., Grundlagen der Quantenmechanik, Springer Verlag, Berlin, 1932. (English translation: Mathematical Foundations of Quantum Mechanics, Princeton University Press, New Jersey, 1996)","DOI":"10.1007\/978-3-642-61409-5"},{"issue":"4","key":"9126_CR39","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1023\/A:1018820410908","volume":"29","author":"A. Zeilinger","year":"1999","unstructured":"Zeilinger A. (1999) \u2018A Foundational Principle for Quantum Mechanics\u2019. Foundations of Physics 29(4):631-643","journal-title":"Foundations of Physics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9126-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-008-9126-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9126-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T22:52:21Z","timestamp":1738277541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-008-9126-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["9126"],"URL":"https:\/\/doi.org\/10.1007\/s11225-008-9126-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7]]}}}