{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:14:42Z","timestamp":1743023682139,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031266218"},{"type":"electronic","value":"9783031266225"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-26622-5_6","type":"book-chapter","created":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T01:36:24Z","timestamp":1676338584000},"page":"90-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantum Logic for\u00a0Observation of\u00a0Physical Quantities"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0524-7614","authenticated-orcid":false,"given":"Tomoaki","family":"Kawano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,14]]},"reference":[{"issue":"12","key":"6_CR1","doi-asserted-by":"publisher","first-page":"3005","DOI":"10.1007\/s10773-010-0411-5","volume":"49","author":"A Baltag","year":"2010","unstructured":"Baltag, A., Smets, S.: Correlated knowledge: an epistemic-logic view on quantum entanglement. Int. J. Theor. Phys. 49(12), 3005\u20133021 (2010). https:\/\/doi.org\/10.1007\/s10773-010-0411-5","journal-title":"Int. J. Theor. Phys."},{"key":"6_CR2","first-page":"39","volume":"2004","author":"A Baltag","year":"2004","unstructured":"Baltag, A., Smets, S.: The logic of quantum programs. QPL 2004, 39\u201356 (2004)","journal-title":"QPL"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s11225-008-9126-5","volume":"89","author":"A Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: A dynamic-logical perspective on quantum behavior. Stud. Logica. 89, 187\u2013211 (2008). https:\/\/doi.org\/10.1007\/s11225-008-9126-5","journal-title":"Stud. Logica."},{"issue":"6","key":"6_CR4","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1007\/s00500-017-2499-5","volume":"21","author":"A Baltag","year":"2017","unstructured":"Baltag, A., Smets, S.: Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft. Comput. 21(6), 1523\u20131535 (2017). https:\/\/doi.org\/10.1007\/s00500-017-2499-5","journal-title":"Soft. Comput."},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1017\/S0960129506005299","volume":"16","author":"A Baltag","year":"2006","unstructured":"Baltag, A., Smets, S.: The dynamic logic of quantum information. Math. Struct. Comput. Sci. 16(3), 491\u2013525 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","volume":"179","author":"A Baltag","year":"2011","unstructured":"Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese 179, 285\u2013306 (2011). https:\/\/doi.org\/10.1007\/s11229-010-9783-6","journal-title":"Synthese"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/s11229-011-9915-7","volume":"186","author":"A Baltag","year":"2012","unstructured":"Baltag, A., Smets, S.: The dynamic turn in quantum logic. Synthese 186(3), 753\u2013773 (2012). https:\/\/doi.org\/10.1007\/s11229-011-9915-7","journal-title":"Synthese"},{"issue":"10","key":"6_CR8","doi-asserted-by":"publisher","first-page":"3279","DOI":"10.1007\/s10773-013-1642-z","volume":"53","author":"E Beltrametti","year":"2013","unstructured":"Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Leporini, R., Sergioli, G.: A quantum computational semantics for epistemic logical operators. Part I: epistemic structures. Int. J. Theor. Phys. 53(10), 3279\u20133292 (2013). https:\/\/doi.org\/10.1007\/s10773-013-1642-z","journal-title":"Int. J. Theor. Phys."},{"issue":"10","key":"6_CR9","doi-asserted-by":"publisher","first-page":"3293","DOI":"10.1007\/s10773-013-1696-y","volume":"53","author":"E Beltrametti","year":"2013","unstructured":"Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Leporini, R., Sergioli, G.: A quantum computational semantics for epistemic logical operators. Part II: semantics. Int. J. Theor. Phys. 53(10), 3293\u20133307 (2013). https:\/\/doi.org\/10.1007\/s10773-013-1696-y","journal-title":"Int. J. Theor. Phys."},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., Von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37(4), 823\u2013843 (1936)","journal-title":"Ann. Math."},{"doi-asserted-by":"crossref","unstructured":"Chiara, M.L.D., Giuntini, R.: Quantum logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, vol. 6(1), pp. 129\u2013228 (2002)","key":"6_CR11","DOI":"10.1007\/978-94-017-0460-1_2"},{"key":"6_CR12","volume-title":"Handbook of Quantum Logic and Quantum Structures: Quantum Logic","author":"K Engesser","year":"2009","unstructured":"Engesser, K., Gabbay, D.M., Lehmann, D.: Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier, Amsterdam (2009)"},{"issue":"2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"6_CR14","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/s00153-020-00749-0","volume":"60","author":"T Fritz","year":"2020","unstructured":"Fritz, T.: Quantum logic is undecidable. Arch. Math. Logic 60(3), 329\u2013341 (2020). https:\/\/doi.org\/10.1007\/s00153-020-00749-0","journal-title":"Arch. Math. Logic"},{"doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)","key":"6_CR15","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"6_CR16","volume-title":"Foundations of Quantum Mechanics","author":"JM Jauch","year":"1968","unstructured":"Jauch, J.M.: Foundations of Quantum Mechanics. Addison-Wesley Publishing Company, Reading, New York (1968)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S.: Proof analysis in modal logic. J. Philos. Log. 34, 507\u2013544 (2005). https:\/\/doi.org\/10.1007\/s10992-005-2267-3","journal-title":"J. Philos. Log."},{"issue":"8","key":"6_CR18","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1111\/j.1747-9991.2011.00418.x","volume":"6","author":"S Negri","year":"2011","unstructured":"Negri, S.: Proof theory for modal logic. Philos Compass 6(8), 523\u2013538 (2011)","journal-title":"Philos Compass"},{"key":"6_CR19","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen, M.A., Isaac, L.C.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"issue":"2","key":"6_CR20","doi-asserted-by":"publisher","first-page":"339","DOI":"10.2307\/2273194","volume":"45","author":"H Nishimura","year":"1980","unstructured":"Nishimura, H.: Sequential method in quantum logic. J. Symb. Log. 45(2), 339\u2013352 (1980)","journal-title":"J. Symb. Log."},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BF00671616","volume":"33","author":"H Nishimura","year":"1994","unstructured":"Nishimura, H.: Proof theory for minimal quantum logic I. Int. J. Theor. Phys. 33(1), 103\u2013113 (1994). https:\/\/doi.org\/10.1007\/BF00671616","journal-title":"Int. J. Theor. Phys."},{"issue":"7","key":"6_CR22","doi-asserted-by":"publisher","first-page":"1427","DOI":"10.1007\/BF00670687","volume":"33","author":"H Nishimura","year":"1994","unstructured":"Nishimura, H.: Proof theory for minimal quantum logic II. Int. J. Theor. Phys. 33(7), 1427\u20131443 (1994). https:\/\/doi.org\/10.1007\/BF00670687","journal-title":"Int. J. Theor. Phys."},{"key":"6_CR23","volume-title":"Foundations of Quantum Physics","author":"C Piron","year":"1976","unstructured":"Piron, C.: Foundations of Quantum Physics. W.A. Benjamin Inc., Reading, New York (1976)"},{"doi-asserted-by":"crossref","unstructured":"R\u00e9dei, M.: Quantum logic in algebraic approach. Fundam. Theor. Phys. 91 (1998)","key":"6_CR24","DOI":"10.1007\/978-94-015-9026-6"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1023\/A:1025693128153","volume":"32","author":"K Tokuo","year":"2003","unstructured":"Tokuo, K.: Extended quantum logic. J. Philos. Log. 32, 549\u2013563 (2003)","journal-title":"J. Philos. Log."},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s11225-017-9733-0","volume":"106","author":"S Zhong","year":"2018","unstructured":"Zhong, S.: Correspondence between Kripke frames and projective geometries. Stud. Logica. 106, 167\u2013189 (2018). https:\/\/doi.org\/10.1007\/s11225-017-9733-0","journal-title":"Stud. Logica."},{"issue":"2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10849-017-9262-2","volume":"27","author":"S Zhong","year":"2018","unstructured":"Zhong, S.: On the modal logic of the non-orthogonality relation between quantum states. J. Log. Lang. Inf. 27(2), 157\u2013173 (2018)","journal-title":"J. Log. Lang. Inf."}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-26622-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T01:40:19Z","timestamp":1676338819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-26622-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031266218","9783031266225"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-26622-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DaL\u00ed","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Dynamic Logic","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Haifa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Israel","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 August 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dali2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/dali2022.campus.ciencias.ulisboa.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}