{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002486551,0.0007320718,0.0008033725,0.001695446,0.001447801,0.009042454,0.001855565,0.002059072,0.00705006],"category_scores_gemma":[0.007178887,0.000742527,0.001274092,0.002428852,0.009195292,0.02201582,0.002598149,0.005389291,0.001148756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003416074,"about_ca_system_score_gemma":0.00171207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002257466,"about_ca_topic_score_gemma":0.001704955,"domain_scores_codex":[0.9981853,0.0007428076,0.0001526199,0.0002409818,0.0005832402,0.00009502847],"domain_scores_gemma":[0.9946503,0.004432439,0.0001739228,0.0003703665,0.0002816589,0.00009139861],"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.000007793569,0.000007391679,0.00005417296,0.00006032852,0.000006229792,0.00001766693,0.0002814413,0.0007719749,0.0001068739,0.9887789,0.001737823,0.008169356],"study_design_scores_gemma":[0.000002244841,0.000001443263,0.00001562325,0.00001901751,0.000002373001,0.00001369845,0.00004098754,0.001522425,0.00009538908,0.9946044,0.003679162,0.000003275216],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02307172,0.02524058,0.709356,0.0231826,0.0005183093,0.00008365526,0.0005505795,0.0005874307,0.2174092],"genre_scores_gemma":[0.6871851,0.01602244,0.2479123,0.001945721,0.001479504,0.0002825916,0.0009839749,0.0002449675,0.04394331],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009042454,"threshold_uncertainty_score":0.02478546,"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."}}