{"id":"W1720731477","doi":"10.1007/978-1-4020-2808-3_17","title":"Reasoning About Knowledge In Linear Logic: Modalities and Complexity","year":2009,"lang":"en","type":"book-chapter","venue":"Logic, epistemology, and the unity of science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Epistemic modal logic; Omniscience; Modal logic; Default logic; S5; Epistemology; Multimodal logic; Computer science; Linear logic; Intermediate logic; Dynamic logic (digital electronics); Normal modal logic; Mathematics; Modal; Theoretical computer science; Autoepistemic logic; Philosophy; Description logic; 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":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.004241004,0.0003768747,0.0008817755,0.000333652,0.0006710633,0.0001598598,0.001696142,0.0003136162,0.000007605966],"category_scores_gemma":[0.0002428149,0.0002469426,0.00009922704,0.0002505804,0.01436309,0.0002872905,0.0008961504,0.000573527,0.000009678758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006525969,"about_ca_system_score_gemma":0.0002124366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000744803,"about_ca_topic_score_gemma":0.0003934022,"domain_scores_codex":[0.997474,0.0002603185,0.0005959483,0.0008003168,0.0003526957,0.0005167372],"domain_scores_gemma":[0.9978172,0.000484865,0.0005041836,0.0007570636,0.0002830332,0.0001536555],"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.00001939762,0.00002719508,0.0001339099,0.00008954062,0.000009355373,0.00001540317,0.00162698,0.000003976194,0.000005920596,0.9907508,0.00002048362,0.007297061],"study_design_scores_gemma":[0.000678725,0.0002520617,0.002332429,0.00008525055,0.00001554196,0.0002034996,0.0002044002,0.002988357,0.00001222014,0.9860621,0.006842635,0.0003227738],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.002020219,0.0121492,0.01744436,0.001684073,0.00104075,0.0009728663,0.000008211057,0.0001622047,0.9645181],"genre_scores_gemma":[0.933029,0.001070982,0.005532589,0.0005046653,0.0001378946,0.000009630231,0.000004720488,0.0000133523,0.05969718],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9310088,"threshold_uncertainty_score":0.9999983,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06430783508970793,"score_gpt":0.2862306968116415,"score_spread":0.2219228617219335,"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."}}