{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T15:10:02Z","timestamp":1748358602710,"version":"3.41.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,4,26]],"date-time":"2015-04-26T00:00:00Z","timestamp":1430006400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10992-015-9345-y","type":"journal-article","created":{"date-parts":[[2015,4,25]],"date-time":"2015-04-25T04:24:13Z","timestamp":1429935853000},"page":"595-607","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Logics of Informational Interactions"],"prefix":"10.1007","volume":"44","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,26]]},"reference":[{"key":"9345_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourron","year":"1985","unstructured":"Alchourron, C.E., G\u00e4rdenfors, P., Makinson, D. (1985). On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9345_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8586.00138","volume":"54","author":"A Baltag","year":"2002","unstructured":"Baltag, A. (2002). A Logic for Suspicious Players: Epistemic Actions and Belief Updates in Games. Bulletin of Economic Research, 54(1), 1\u201345.","journal-title":"Bulletin of Economic Research"},{"key":"9345_CR3","unstructured":"Baltag, A., van Benthem, J., Smets, S. Music of knowledge. book manuscript in preparation."},{"key":"9345_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., & Moss, L. (2004). Logics for Epistemic Programs. Synthese, 139, 165\u2013224.","journal-title":"Synthese"},{"key":"9345_CR5","unstructured":"Baltag, A., Moss, L.S., Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions In I. Gilboa (Ed.), Proceedings of TARK (Vol. 98, pp. 43\u201356)."},{"key":"9345_CR6","unstructured":"Baltag, A., Moss, L., van Ditmarsch, H. Epistemic logic and information update. Handbook on the Philosophy of Information."},{"issue":"12","key":"9345_CR7","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":"9345_CR8","unstructured":"Baltag, A., & Smets, S. The logic of quantum programs In P. Selinger (Ed.), Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL2004), TUCS General Publication (Vol. 33, pp. 39\u201356). Turku Center for Computer Science, 2004. PHILSCI00001799."},{"issue":"3","key":"9345_CR9","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":"9345_CR10","first-page":"185","volume":"89","author":"A Baltag","year":"2008","unstructured":"Baltag, A., & Smets, S. (2008). A dynamic-logical perspective on quantum behavior. Studia Logica, special issue on Applied Logic in the Philosophy of Science, 89, 185\u2013209.","journal-title":"Studia Logica, special issue on Applied Logic in the Philosophy of Science"},{"issue":"2","key":"9345_CR11","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","volume":"179","author":"A Baltag","year":"2011","unstructured":"Baltag, A., & Smets, S. (2011). Quantum logic as a dynamic logic. Synthese, 179(2), 285\u2013306.","journal-title":"Synthese"},{"issue":"12","key":"9345_CR12","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. (2010). 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":"9345_CR13","doi-asserted-by":"crossref","unstructured":"Baltag, A., Bergfeld, J., Kishida, K., Sack, J., Smets, S., Zhong, S. (2014). PLQP & company: decidable logics for quantum algorithms. International Journal of Theoretical Physics, 53(10), 3628\u20133647.","DOI":"10.1007\/s10773-013-1987-3"},{"key":"9345_CR14","doi-asserted-by":"crossref","unstructured":"Baltag, A., Bergfeld, J., Kishida, K., Sack, J., Smets, S., Zhong, S. (2013). Quantum probabilistic dyadic second-order logic In Libkin, L., Kolhenbach, U., de Quieroz, R. (Eds.), Wollic, 2013 Volume, LNCS (Vol. 8071, pp. 64\u201380).","DOI":"10.1007\/978-3-642-39992-3_9"},{"key":"9345_CR15","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Smets, S. (2006). Conditional doxastic models: a qualitative approach to dynamic belief revision In Mints, G., & de Queiroz, R. (Eds.), Electronic notes in theoretical computer science (Vol. 165, pp. 5\u201321).","DOI":"10.1016\/j.entcs.2006.05.034"},{"key":"9345_CR16","unstructured":"Baltag, A., & Smets, S. (2006). The logic of conditional doxastic actions: a theory of dynamic multi-agent belief revision In Artemov, S., & Parikh, R. (Eds.), Proceedings of the Workshop on Rationality and Knowledge, ESSLLI."},{"key":"9345_CR17","unstructured":"Baltag, A., & Smets, S. (2006). Dynamic belief revision over multi-agent plausibility models In Bonanno, G., van de Hoek, W., Woolridge, M. (Eds.), 7th Conference on logic and the foundations of game and decision. Liverpool."},{"key":"9345_CR18","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Smets, S. A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek & M. Wooldridge (Eds.), Logic and the foundations of game and decision theory, texts in logic and games (vol. 3, pp. 958). Amsterdam University Press.","DOI":"10.1007\/978-3-319-20451-2_39"},{"key":"9345_CR19","unstructured":"Baltag, A., & Smets, S. (2014). Probabilistic dynamic epistemic logic: classical and quantum, presentation given at the Amsterdam Quantum Logic Workshop. The Netherlands."},{"key":"9345_CR20","unstructured":"van Benthem, J. (2006). Dynamic logic for belief revision, ILLC Tech Report. DARE electronic archive: University of Amsterdam. Printed in Journal of applied non-classical logics."},{"issue":"2","key":"9345_CR21","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J van Benthem","year":"2007","unstructured":"van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-classical Logics, 17(2), 129\u2013155.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9345_CR22","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction: Cambridge University Press.","DOI":"10.1017\/CBO9780511974533"},{"issue":"11","key":"9345_CR23","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J van Benthem","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B. (2006). Logics of communication and change. Information and Computation, 204(11), 1620\u20131662.","journal-title":"Information and Computation"},{"key":"9345_CR24","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. Annals of Mathematics, 37, 823\u2013843.","journal-title":"Annals of Mathematics"},{"key":"9345_CR25","unstructured":"van Ditmarsch, H. Knowledge games. PhD thesis, University of Groningen, 2000. ILLC Dissertation Series DS-2000-06."},{"key":"9345_CR26","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M. (1995). Reasoning about knowldege: MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9345_CR27","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF00484953","volume":"29","author":"DJ Foulis","year":"1974","unstructured":"Foulis, D.J., & Randall, C.H. (1974). Empirical logic and quantum mechanics. Synthese, 29, 81.","journal-title":"Synthese"},{"key":"9345_CR28","unstructured":"Gerbrandy, J.D. Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, 1998. ILLC Dissertation Series DS-1999-01."},{"key":"9345_CR29","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"JD Gerbrandy","year":"1997","unstructured":"Gerbrandy, J.D., & Groeneveld, W. (1997). Reasoning about information change. Journal of Logic, Language, and Information, 6, 147\u2013169.","journal-title":"Journal of Logic, Language, and Information"},{"key":"9345_CR30","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J. (2000). Dynamic logic: MIT Press.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"9345_CR31","volume-title":"Foundations of quantum mechanics","author":"JM Jauch","year":"1968","unstructured":"Jauch, J.M. (1968). Foundations of quantum mechanics. Reading: Addison-Wesley."},{"key":"9345_CR32","first-page":"842","volume":"42","author":"JM 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":"9345_CR33","first-page":"439","volume":"37","author":"C Piron","year":"1964","unstructured":"Piron, C. (1964). Axiomatique quantique (PhD-Thesis). Helvetica Physica Acta, 37, 439\u2013468. English Translation by M. Cole: \u201cQuantum Axiomatics\u201d RB4 Technical memo 107\/106\/104, GPO Engineering Department London.","journal-title":"Helvetica Physica Acta"},{"key":"9345_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. Massachusetts: W. A. Benjamin."},{"key":"9345_CR35","unstructured":"Plaza, J.A. (1989). Logics of public communications. In Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (Eds.), Proceedings of the 4th International symposium on methodologies for intelligent systems, (pp. 201\u2013216)."},{"key":"9345_CR36","volume-title":"Boston studies in the philosophy of science, Vol. 5","author":"H Putnam","year":"1968","unstructured":"Putnam, H. (1968). Is logic empirical? In R. Cohen & M. Warofsky (Eds.), Boston studies in the philosophy of science Vol. 5. Dordrecht: Reidel."},{"key":"9345_CR37","volume-title":"Physical theory as logico-operational structure","author":"CH Randall","year":"1979","unstructured":"Randall, C.H., & Foulis, D.J. (1979). The operational approach to quantum mechanics In C. A. Hooker (Ed.), Physical theory as logico-operational structure. Dordrecht: D. Reidel Publishing Company."},{"key":"9345_CR38","unstructured":"Spekkens, R.W. (2005). In defense of the epistemic view of quantum states: a toy theory. arXiv: quant-ph\/0401052v2 ."},{"key":"9345_CR39","volume-title":"Grundlagen der quantenmechanik","author":"J von Neumann","year":"1932","unstructured":"von Neumann, J. (1932). Mathematische Grundlagen der quantenmechanik. Berlin: Springer. (English translation: Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton, 1996)."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9345-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9345-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9345-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T14:35:34Z","timestamp":1748356534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9345-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,26]]},"references-count":39,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9345"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9345-y","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2015,4,26]]}}}