{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:53Z","timestamp":1740107873246,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,2,25]],"date-time":"2017-02-25T00:00:00Z","timestamp":1487980800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001827","name":"University of Amsterdam","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001827","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s00500-017-2499-5","type":"journal-article","created":{"date-parts":[[2017,2,25]],"date-time":"2017-02-25T00:50:51Z","timestamp":1487983851000},"page":"1523-1535","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Modeling correlated information change: from conditional beliefs to quantum conditionals"],"prefix":"10.1007","volume":"21","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,25]]},"reference":[{"key":"2499_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symbol Logic 50:510\u2013530","journal-title":"J Symbol Logic"},{"issue":"12","key":"2499_CR2","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. Int J Theor Phys 44(12):2267\u20132282","journal-title":"Int J Theor Phys"},{"key":"2499_CR3","doi-asserted-by":"crossref","unstructured":"Baltag A, Smets S (2006a) Conditional doxastic models: a qualitative approach to dynamic belief revision. Electron Notes Theor Comput Sci 165:5\u201321","DOI":"10.1016\/j.entcs.2006.05.034"},{"key":"2499_CR4","doi-asserted-by":"crossref","unstructured":"Baltag A, Smets S (2006b) LQP: the dynamic logic of quantum information. Math Struct Comput Sci 16(3):491\u2013525","DOI":"10.1017\/S0960129506005299"},{"key":"2499_CR5","doi-asserted-by":"crossref","unstructured":"Baltag A, Smets S (2008a) A dynamic-logical perspective on quantum behavior. Stud Log 89:185\u2013209","DOI":"10.1007\/s11225-008-9126-5"},{"key":"2499_CR6","unstructured":"Baltag A, Smets S (2008b) A qualitative theory of dynamic interactive belief revision. In: Bonanno G, van der Hoek W, Woolridge M (eds) Texts in logic and games, vol 3. Amsterdam University Press, Amsterdam, pp 9\u201358"},{"key":"2499_CR7","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Annal Math 37:823\u2013843","journal-title":"Annal Math"},{"key":"2499_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 (2004) The Sasaki Hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes of truth. Int J Theor Phys 43:1705\u20131736","journal-title":"Int J Theor Phys"},{"key":"2499_CR9","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00558757","volume":"4","author":"GM Hardegree","year":"1975","unstructured":"Hardegree GM (1975) Stalnaker conditionals and quantum logic. J Philos Log 4:399\u2013421","journal-title":"J Philos Log"},{"key":"2499_CR10","doi-asserted-by":"crossref","unstructured":"Hardegree GM (1979) The logico-algebraic approach to quantum mechanics, vol\u00a02, Chap: The conditional in abstract and concrete quantum logic. D. Reidel Pub., Dordrecht","DOI":"10.1007\/978-94-009-9351-8_4"},{"key":"2499_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic (foundations of computing)","author":"D Harel","year":"2000","unstructured":"Harel D, Kozen D, Tiuryn J (2000) Dynamic logic (foundations of computing). MIT Press, Cambridge"},{"key":"2499_CR12","volume-title":"Orthomodular lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach G (1983) Orthomodular lattices. Academic Press, New York"},{"key":"2499_CR13","doi-asserted-by":"crossref","unstructured":"Levitt SD, List JA (2009) Was there really a Hawthorne effect at the Hawthorne plant? an analysis of the original illumination experiments. Technical report, National Bureau of Economic Research. Working Paper no 15015 May","DOI":"10.3386\/w15016"},{"key":"2499_CR14","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1305\/ndjfl\/1093883401","volume":"22","author":"EL Marsen","year":"1981","unstructured":"Marsen EL, Herman L, Piziak R (1981) Implication connectives in orthomodular lattices. Notre Dame J Formal Log 22:163\u2013182","journal-title":"Notre Dame J Formal Log"},{"key":"2499_CR15","unstructured":"Moore GE (1942) A reply to my critics. In: Schilpp PA (ed) The Philosophy of G.E. Moore, volume\u00a04 of The Library of Living Philosophers. Northwestern University, Evanston, pp 535\u2013677"},{"key":"2499_CR16","unstructured":"Moss LS, Parikh R (1992) Topological Reasoning and The Logic of Knowledge. In Moses Y (ed) Proceedings of the 4th Conference on Theoretical Aspecats of Reasoning about Knowledge (TARK 1992). Morgan Kaufmann, San Francisco, CA, pp 95\u2013105"},{"key":"2499_CR17","unstructured":"Plaza JA (1989) Logics of public communications. In: Emrich ML, Pfeifer MS, Hadzikadic M, Ras ZW (eds) Proceedings of the 4th international symposium on methodologies for intelligent systems, pp 201\u2013216"},{"issue":"173\u2013175","key":"2499_CR18","first-page":"307","volume":"44","author":"S Smets","year":"2001","unstructured":"Smets S (2001) On causation and a counterfactual in quantum logic: the Sasaki Hook. Log Anal 44(173\u2013175):307\u2013325","journal-title":"Log Anal"},{"key":"2499_CR19","unstructured":"van Benthem J (1996) Exploring logical dynamics. CSLI Publications, Stanford"},{"key":"2499_CR20","doi-asserted-by":"crossref","unstructured":"van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511974533"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2499-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2499-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2499-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T23:15:27Z","timestamp":1568848527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2499-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,25]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["2499"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2499-5","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2017,2,25]]}}}