{"id":"https://openalex.org/W1853605859","doi":"https://doi.org/10.1007/s00500-015-1802-6","title":"Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs","display_name":"Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs","publication_year":2015,"publication_date":"2015-08-19","ids":{"openalex":"https://openalex.org/W1853605859","doi":"https://doi.org/10.1007/s00500-015-1802-6","mag":"1853605859"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-015-1802-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-015-1802-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00500-015-1802-6.pdf","source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","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/s00500-015-1802-6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035763200","display_name":"Jort M. Bergfeld","orcid":null},"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":"Jort Martinus Bergfeld","raw_affiliation_strings":["Institute for Logic, Language and Computation (ILLC), University of Amsterdam, P.O. Box 94242, 1090 GE Amsterdam, The Netherlands","Institute for Logic, Language & Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands 1090 GE#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC), University of Amsterdam, P.O. Box 94242, 1090 GE Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Institute for Logic, Language & Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands 1090 GE#TAB#","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049878715","display_name":"Joshua Sack","orcid":"https://orcid.org/0000-0001-6031-0359"},"institutions":[{"id":"https://openalex.org/I59897056","display_name":"California State University, Long Beach","ror":"https://ror.org/0080fxk18","country_code":"US","type":"education","lineage":["https://openalex.org/I59897056"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshua Sack","raw_affiliation_strings":["Department of Mathematics and Statistics, California State University, Long Beach, 1250 Bellflower Blvd, Long Beach, CA 90840, USA","Department of Mathematics and Statistics, California State University Long Beach, Long Beach, USA 90840#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, California State University, Long Beach, 1250 Bellflower Blvd, Long Beach, CA 90840, USA","institution_ids":["https://openalex.org/I59897056"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, California State University Long Beach, Long Beach, USA 90840#TAB#","institution_ids":["https://openalex.org/I59897056"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.3355,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85806929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"21","issue":"6","first_page":"1421","last_page":"1441"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980000257492065,"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.9970999956130981,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5759868025779724},{"id":"https://openalex.org/keywords/bb84","display_name":"BB84","score":0.574960470199585},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5224734544754028},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.500434160232544},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.47520288825035095},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.4116648733615875},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.3825801908969879},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35000601410865784},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.2857338786125183},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20270076394081116},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.1905411183834076},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.15564602613449097}],"concepts":[{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5759868025779724},{"id":"https://openalex.org/C78203541","wikidata":"https://www.wikidata.org/wiki/Q2566969","display_name":"BB84","level":5,"score":0.574960470199585},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5224734544754028},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.500434160232544},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.47520288825035095},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.4116648733615875},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.3825801908969879},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35000601410865784},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.2857338786125183},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20270076394081116},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.1905411183834076},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.15564602613449097},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00500-015-1802-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-015-1802-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00500-015-1802-6.pdf","source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00500-015-1802-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-015-1802-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00500-015-1802-6.pdf","source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6600000262260437,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1853605859.pdf","grobid_xml":"https://content.openalex.org/works/W1853605859.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W823309","https://openalex.org/W123439126","https://openalex.org/W1487051037","https://openalex.org/W1678454200","https://openalex.org/W1855444172","https://openalex.org/W1971616901","https://openalex.org/W1982928587","https://openalex.org/W1989314289","https://openalex.org/W2012421462","https://openalex.org/W2014379452","https://openalex.org/W2015179126","https://openalex.org/W2038956038","https://openalex.org/W2060866535","https://openalex.org/W2062285040","https://openalex.org/W2069477494","https://openalex.org/W2069709605","https://openalex.org/W2073128269","https://openalex.org/W2111706174","https://openalex.org/W2120926795","https://openalex.org/W2121069757","https://openalex.org/W2121087903","https://openalex.org/W2138408756","https://openalex.org/W2147119042","https://openalex.org/W2164124713","https://openalex.org/W2169250070","https://openalex.org/W2237916244","https://openalex.org/W2336123333","https://openalex.org/W2962822640","https://openalex.org/W2963619589","https://openalex.org/W2963787308","https://openalex.org/W2987687226","https://openalex.org/W2987907651","https://openalex.org/W3040499212","https://openalex.org/W3126996113","https://openalex.org/W3146075203","https://openalex.org/W4239007999","https://openalex.org/W4240750369","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1970941582","https://openalex.org/W2107399212","https://openalex.org/W2000884742","https://openalex.org/W2056138576","https://openalex.org/W1981637010","https://openalex.org/W2885667534","https://openalex.org/W2017619996","https://openalex.org/W3120198719","https://openalex.org/W2062429526","https://openalex.org/W2338886592"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,7,20,31,64],"sound":[4],"axiomatization":[5,54],"for":[6],"probabilistic":[8,82],"modal":[9],"dynamic":[10],"logic":[11,16],"of":[12,33,41,47,52,59,63,77,80],"quantum":[13,36,45,83,86,93],"programs.":[14],"The":[15,50],"can":[17],"express":[18],"whether":[19],"state":[21],"is":[22,28,55],"separable":[23,72],"or":[24],"entangled,":[25],"information":[26],"that":[27],"local":[29],"to":[30,44],"subsystem":[32],"the":[34,39,78,91],"whole":[35],"system,":[37],"and":[38,71,74,90],"probability":[40],"positive":[42],"answers":[43],"tests":[46],"certain":[48],"properties.":[49],"power":[51],"this":[53],"demonstrated":[56],"with":[57,75],"proofs":[58,76],"properties":[60],"concerning":[61],"bases":[62],"finite-dimensional":[65],"Hilbert":[66],"space,":[67],"composite":[68],"systems,":[69],"entangled":[70],"states,":[73],"correctness":[79],"two":[81],"protocols":[84],"(the":[85],"leader":[87],"election":[88],"protocol":[89],"BB84":[92],"key":[94],"distribution":[95],"protocol).":[96]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}