{"id":"W3035029999","doi":"10.24963/ijcai.2020/250","title":"A Modal Logic for Joint Abilities under Strategy Commitments","year":2020,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"National Natural Science Foundation of China","keywords":"Multimodal logic; Linear temporal logic; Extension (predicate logic); Modal logic; Dynamic logic (digital electronics); Computer science; Temporal logic; Joint (building); Temporal logic of actions; Modal; Operator (biology); Representation (politics); Description logic; Knowledge representation and reasoning; Artificial intelligence; Theoretical computer science; Programming language; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001045135,0.0001199841,0.0001601247,0.00001973166,0.00009866792,0.0001479266,0.0004613287,0.00004753399,0.00009442162],"category_scores_gemma":[0.00003953313,0.00008696924,0.0000919508,0.0001089244,0.00004207149,0.00021389,0.000184545,0.00006382902,0.0001128429],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003035004,"about_ca_system_score_gemma":0.00006904367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000174998,"about_ca_topic_score_gemma":0.00001453047,"domain_scores_codex":[0.9991204,0.00003235877,0.0001592153,0.0003148867,0.0001173673,0.0002557463],"domain_scores_gemma":[0.9994538,0.0000784971,0.00003740874,0.0002307943,0.0000686218,0.0001308307],"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.000005090902,0.0000596162,0.0001203833,0.00002496244,0.00001603923,0.000001898078,0.0008070567,0.0001704703,0.0001483653,0.9904655,0.005137735,0.003042893],"study_design_scores_gemma":[0.001475617,0.001329729,0.002157168,0.000009926448,0.00001308145,0.000008333871,0.001427825,0.4012941,0.002836378,0.5820484,0.006899773,0.0004997533],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004768731,0.0001101096,0.9172636,0.003990068,0.0001658683,0.0002953091,0.000003080403,0.0002693303,0.07313389],"genre_scores_gemma":[0.9729585,0.000003636163,0.02249091,0.002660791,0.0000973633,0.00003508372,0.000002506866,0.000005893769,0.001745314],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9681898,"threshold_uncertainty_score":0.3546503,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1184971113845067,"score_gpt":0.2828529239561271,"score_spread":0.1643558125716204,"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."}}