{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000466716,0.0002940925,0.0003741419,0.00009737607,0.0001828704,0.0007809617,0.001508997,0.0002017942,0.00001804756],"category_scores_gemma":[0.00004460274,0.000238899,0.0002008696,0.00008146439,0.00005000758,0.0001873182,0.0005424318,0.0002724554,0.00008628023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008800713,"about_ca_system_score_gemma":0.0001835079,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002533521,"about_ca_topic_score_gemma":0.00004846739,"domain_scores_codex":[0.9979846,0.00008840573,0.0003657321,0.0008827326,0.0002634851,0.0004150846],"domain_scores_gemma":[0.9983396,0.00004965603,0.0001810279,0.001067414,0.000190002,0.0001722996],"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.000003470588,0.0001111417,0.000007915839,0.00008709251,0.00001758859,0.00001379598,0.00009333534,0.0003707063,0.000008248338,0.9537062,0.002531957,0.04304856],"study_design_scores_gemma":[0.0002003233,0.0003773295,0.00004723847,0.000006725587,0.00001438538,0.0000363146,0.000009250981,0.1075234,0.0001240766,0.8799412,0.011341,0.0003788012],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001517675,0.0001360303,0.9768545,0.000394149,0.001513187,0.0008903457,0.000006105169,0.0006153208,0.0194386],"genre_scores_gemma":[0.921722,0.000008700151,0.07555469,0.0005879307,0.0005491459,0.0001811767,0.0001130262,0.00001373753,0.001269575],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9215702,"threshold_uncertainty_score":0.9742017,"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."}}