{"id":"W2415634217","doi":"","title":"Calculi for an Intuitionistic Hybrid Modal Logic","year":2009,"lang":"en","type":"preprint","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Modal logic; Intuitionistic logic; Computer science; Sequent; Proof calculus; Multimodal logic; Sequent calculus; Accessibility relation; Curry–Howard correspondence; Cut-elimination theorem; Modal; Context (archaeology); Intermediate logic; Fragment (logic); Normal modal logic; Linear logic; Algorithm; Natural deduction; Theoretical computer science; Description logic; Mathematics; Programming language; Mathematical proof","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.002817977,0.0005408257,0.0004977572,0.001641517,0.001404083,0.003080109,0.001438763,0.001171924,0.004847309],"category_scores_gemma":[0.003699568,0.0004696773,0.002032662,0.001181599,0.003920285,0.004347072,0.002151242,0.002678427,0.0005664391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001999241,"about_ca_system_score_gemma":0.001427208,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001733195,"about_ca_topic_score_gemma":0.001630147,"domain_scores_codex":[0.9983284,0.0003825251,0.0001102097,0.0002412773,0.000778653,0.0001589233],"domain_scores_gemma":[0.9980969,0.001197203,0.0001384388,0.0001936474,0.0002808419,0.00009297386],"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.0000109497,0.00001233995,0.00009420427,0.00003954136,0.0000101286,0.00008074657,0.0001557142,0.002455953,0.0009717832,0.99295,0.0002147094,0.003004004],"study_design_scores_gemma":[0.00002348533,0.00001514884,0.00009929837,0.00002364475,0.00002311487,0.0001225012,0.00006613247,0.03571413,0.001943576,0.9563449,0.005607654,0.00001634126],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04019996,0.0005675464,0.9399821,0.0008659466,0.0001461003,0.0001554475,0.0002189333,0.0006037676,0.01726022],"genre_scores_gemma":[0.4812938,0.0004445955,0.5079507,0.0004071525,0.000143176,0.0003218878,0.0002585048,0.0001546334,0.009025588],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004847309,"threshold_uncertainty_score":0.01621592,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05835521037311427,"score_gpt":0.300699885674435,"score_spread":0.2423446753013207,"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."}}