{"id":"https://openalex.org/W2078710420","doi":"https://doi.org/10.1007/s11229-011-9915-7","title":"The dynamic turn in quantum logic","display_name":"The dynamic turn in quantum logic","publication_year":2011,"publication_date":"2011-06-06","ids":{"openalex":"https://openalex.org/W2078710420","doi":"https://doi.org/10.1007/s11229-011-9915-7","mag":"2078710420"},"language":"en","primary_location":{"id":"doi:10.1007/s11229-011-9915-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9915-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9915-7.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9915-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036886810","display_name":"Alexandru Baltag","orcid":"https://orcid.org/0000-0002-5533-7976"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Alexandru Baltag","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063318978","display_name":"Sonja Smets","orcid":"https://orcid.org/0000-0001-8019-0171"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sonja Smets","raw_affiliation_strings":["Department of Artifical Intelligence, University of Groningen, Oude Boteringestraat 52, Groningen, The Netherlands","Department of Philosophy, University of Groningen, Oude Boteringestraat 52, Groningen, The Netherlands","Department of Artifical Intelligence, University of Groningen, Groningen, The Netherlands","Department of Philosophy, University of Groningen, Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Artifical Intelligence, University of Groningen, Oude Boteringestraat 52, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Department of Philosophy, University of Groningen, Oude Boteringestraat 52, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Department of Artifical Intelligence, University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Department of Philosophy, University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063318978"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":2.2495,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.87777697,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"186","issue":"3","first_page":"753","last_page":"773"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-logic","display_name":"Quantum logic","score":0.7736637592315674},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6353693604469299},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.5966550707817078},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5282629728317261},{"id":"https://openalex.org/keywords/philosophy-of-science","display_name":"Philosophy of science","score":0.5117180347442627},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.49441003799438477},{"id":"https://openalex.org/keywords/non-classical-logic","display_name":"Non-classical logic","score":0.4668002724647522},{"id":"https://openalex.org/keywords/philosophy-of-language","display_name":"Philosophy of language","score":0.4400901794433594},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4314047694206238},{"id":"https://openalex.org/keywords/philosophy-of-logic","display_name":"Philosophy of logic","score":0.42353904247283936},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4216955602169037},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.4171966016292572},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.4103717803955078},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36529678106307983},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3009459674358368},{"id":"https://openalex.org/keywords/metaphysics","display_name":"Metaphysics","score":0.2860734462738037},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.2841886281967163},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.27260681986808777},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23566466569900513},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.21561336517333984},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.1723499894142151},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1359604299068451}],"concepts":[{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.7736637592315674},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6353693604469299},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.5966550707817078},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5282629728317261},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.5117180347442627},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.49441003799438477},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.4668002724647522},{"id":"https://openalex.org/C123556308","wikidata":"https://www.wikidata.org/wiki/Q484761","display_name":"Philosophy of language","level":3,"score":0.4400901794433594},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4314047694206238},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.42353904247283936},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4216955602169037},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4171966016292572},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4103717803955078},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36529678106307983},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3009459674358368},{"id":"https://openalex.org/C182744844","wikidata":"https://www.wikidata.org/wiki/Q35277","display_name":"Metaphysics","level":2,"score":0.2860734462738037},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.2841886281967163},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.27260681986808777},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23566466569900513},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.21561336517333984},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.1723499894142151},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1359604299068451},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s11229-011-9915-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9915-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9915-7.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/5c9c3793-9e35-45b1-95fc-4f797677eba5","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/the-dynamic-turn-in-quantum-logic(5c9c3793-9e35-45b1-95fc-4f797677eba5).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Baltag, A & Smets, S 2012, 'The Dynamic Turn in Quantum Logic', Synthese, vol. 186, no. 3, pp. 753-773. https://doi.org/10.1007/s11229-011-9915-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:openaire/5c9c3793-9e35-45b1-95fc-4f797677eba5","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/the-dynamic-turn-in-quantum-logic(5c9c3793-9e35-45b1-95fc-4f797677eba5).html","pdf_url":"https://pure.uva.nl/ws/files/1144346/138725_The_Dynamic_Turn.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Baltag, A & Smets, S 2012, 'The Dynamic Turn in Quantum Logic', Synthese, vol. 186, no. 3, pp. 753-773. https://doi.org/10.1007/s11229-011-9915-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:publications/4eaa8faa-350e-4c18-b08e-44756f4433e4","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/4eaa8faa-350e-4c18-b08e-44756f4433e4","pdf_url":"https://pure.rug.nl/ws/files/133854820/The_dynamic_turn_in_quantum_logic.pdf","source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Baltag, A & Smets, S 2012, 'The dynamic turn in quantum logic', Synthese, vol. 186, no. 3, pp. 753-773. https://doi.org/10.1007/s11229-011-9915-7","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:publications/5c9c3793-9e35-45b1-95fc-4f797677eba5","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/s11229-011-9915-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-011-9915-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-011-9915-7.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2078710420.pdf","grobid_xml":"https://content.openalex.org/works/W2078710420.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W823309","https://openalex.org/W107701772","https://openalex.org/W204200206","https://openalex.org/W1504779208","https://openalex.org/W1514054058","https://openalex.org/W1516641390","https://openalex.org/W1535155962","https://openalex.org/W1543118902","https://openalex.org/W1576219837","https://openalex.org/W1578133078","https://openalex.org/W1604779088","https://openalex.org/W1632582781","https://openalex.org/W1655669983","https://openalex.org/W1807797434","https://openalex.org/W1818487909","https://openalex.org/W1964011508","https://openalex.org/W1976029304","https://openalex.org/W1980479755","https://openalex.org/W1989314289","https://openalex.org/W2001198704","https://openalex.org/W2033303007","https://openalex.org/W2047299335","https://openalex.org/W2066381579","https://openalex.org/W2073003382","https://openalex.org/W2073128269","https://openalex.org/W2084103624","https://openalex.org/W2085238965","https://openalex.org/W2087004189","https://openalex.org/W2106410261","https://openalex.org/W2115407978","https://openalex.org/W2117499087","https://openalex.org/W2135567477","https://openalex.org/W2138408756","https://openalex.org/W2255369813","https://openalex.org/W2336123333","https://openalex.org/W2399189975","https://openalex.org/W2490781178","https://openalex.org/W2499980648","https://openalex.org/W2546408443","https://openalex.org/W2598230523","https://openalex.org/W2610670723","https://openalex.org/W2940858033","https://openalex.org/W2952653109","https://openalex.org/W2968832504","https://openalex.org/W3126237895","https://openalex.org/W3126987203","https://openalex.org/W3126996113","https://openalex.org/W3150401298","https://openalex.org/W4206264042","https://openalex.org/W4239007999","https://openalex.org/W4242304093","https://openalex.org/W6622698610","https://openalex.org/W6632548266","https://openalex.org/W6642888752","https://openalex.org/W6666860441","https://openalex.org/W6680555594","https://openalex.org/W6766720180"],"related_works":["https://openalex.org/W428185970","https://openalex.org/W1580894698","https://openalex.org/W1565877968","https://openalex.org/W2259542891","https://openalex.org/W4386746910","https://openalex.org/W2087479060","https://openalex.org/W2043105627","https://openalex.org/W59187410","https://openalex.org/W2379062595","https://openalex.org/W11378686"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3,86],"show":[4],"how":[5],"ideas":[6],"coming":[7],"from":[8],"two":[9],"areas":[10,84],"of":[11,23,51,77,91,98,104],"research":[12,46,99],"in":[13,29,55,100],"logic":[14,30],"can":[15],"reinforce":[16],"each":[17],"other.":[18],"The":[19],"first":[20],"such":[21],"line":[22,44],"inquiry":[24],"concerns":[25,45],"the":[26,33,42,48,57,88,101],"\u201cdynamic":[27],"turn\u201d":[28],"and":[31,54,68],"especially":[32],"formalisms":[34],"inspired":[35],"by":[36,66],"Propositional":[37],"Dynamic":[38,92],"Logic":[39],"(PDL);":[40],"while":[41],"second":[43],"into":[47],"logical":[49,102],"foundations":[50,103],"Quantum":[52,62,78,93],"Physics,":[53,79],"particular":[56],"area":[58],"known":[59],"as":[60,64],"Operational":[61],"Logic,":[63,94],"developed":[65],"Jauch":[67],"Piron":[69,75],"(Helve":[70],"Phys":[71],"Acta":[72],"42:842\u2013848,":[73],"1969),":[74],"(Foundations":[76],"1976).":[80],"By":[81],"bringing":[82],"these":[83],"together":[85],"explain":[87],"basic":[89],"ingredients":[90],"a":[95],"new":[96],"direction":[97],"physics.":[105]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}