{"id":"W4391296819","doi":"10.1098/rsta.2023.0002","title":"Combining contextuality and causality: a game semantics approach","year":2024,"lang":"en","type":"article","venue":"Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fundação para a Ciência e a Tecnologia; Engineering and Physical Sciences Research Council; European Commission; Natural Sciences and Engineering Research Council of Canada; HORIZON EUROPE Framework Programme; UK Research and Innovation","keywords":"Kochen–Specker theorem; Causality (physics); Computer science; Semantics (computer science); Theme (computing); Quantum; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006191312,0.001420165,0.001517942,0.002417686,0.002416659,0.005417688,0.003219943,0.002784017,0.008483034],"category_scores_gemma":[0.01430962,0.00107739,0.003013799,0.001665075,0.008225456,0.01404391,0.00682242,0.004948176,0.0007611655],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003298573,"about_ca_system_score_gemma":0.003276824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005390634,"about_ca_topic_score_gemma":0.005232265,"domain_scores_codex":[0.9930267,0.003846464,0.0003742507,0.001005493,0.001117447,0.0006296216],"domain_scores_gemma":[0.9906171,0.00646,0.0005082584,0.0009585629,0.000837549,0.000618536],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009714877,0.00001296783,0.00006008401,0.00002726864,0.00001365948,0.00003852218,0.000133831,0.005302254,0.000160586,0.9919567,0.0001874161,0.002096958],"study_design_scores_gemma":[0.000009971714,0.00001220605,0.00003248964,0.00001711383,0.00001440085,0.00002461488,0.00005005591,0.02532923,0.0001641364,0.9715381,0.002793467,0.00001421088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005233009,0.0002512647,0.9767873,0.001745101,0.0001068406,0.00009017423,0.00009114821,0.0001056075,0.01558961],"genre_scores_gemma":[0.5373379,0.0008052995,0.450406,0.0009856363,0.000456812,0.0005429156,0.0002087208,0.0002224724,0.009034232],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008483034,"threshold_uncertainty_score":0.03274316,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02487662969115288,"score_gpt":0.2589567833124789,"score_spread":0.234080153621326,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}