{"id":"W2309824995","doi":"10.1016/j.ic.2011.10.004","title":"Intuitionistic Modal Logic and Applications (IMLA 2008)","year":2011,"lang":"en","type":"article","venue":"Information and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Normal modal logic; Modal logic; Intuitionistic logic; Computer science; Modal; Multimodal logic; Accessibility relation; Dynamic logic (digital electronics); Mathematics; Programming language; Description logic; Propositional calculus; Engineering; Materials science","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.001649459,0.0008689604,0.0008854952,0.001839275,0.001509594,0.005310646,0.001344787,0.002362154,0.01834347],"category_scores_gemma":[0.002927098,0.0008547548,0.0011728,0.002915726,0.002824359,0.007968442,0.002505157,0.005879806,0.007136998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002537869,"about_ca_system_score_gemma":0.001401681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001825524,"about_ca_topic_score_gemma":0.001903731,"domain_scores_codex":[0.9992275,0.0002401289,0.00005529214,0.0001689713,0.0002511623,0.00005690586],"domain_scores_gemma":[0.999328,0.0003086963,0.00003648533,0.0001235895,0.0001672814,0.00003605552],"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.00002134112,0.00003124018,0.00009088085,0.000152093,0.00001725203,0.00004850414,0.0002410057,0.0005178652,0.0003174096,0.9046459,0.03818995,0.05572645],"study_design_scores_gemma":[0.000005927248,0.000005280795,0.000119736,0.00008836969,0.00001218191,0.0001182833,0.00004568289,0.001628932,0.0003416578,0.9023666,0.09525419,0.00001323336],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004840124,0.06713815,0.6584534,0.01776746,0.003253602,0.0001102541,0.001151576,0.001754531,0.2455309],"genre_scores_gemma":[0.2467968,0.04256901,0.5404297,0.008879428,0.006026233,0.0005389262,0.002305008,0.0009996052,0.1514553],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01834347,"threshold_uncertainty_score":0.06136507,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02320547004682925,"score_gpt":0.2361180789424442,"score_spread":0.212912608895615,"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."}}