{"id":"W3043284895","doi":"10.1017/s1755020321000216","title":"QUANTIFIED MODAL RELEVANT LOGICS","year":2021,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Modal; Normal modal logic; Semantics (computer science); Converse; Accessibility relation; Modal logic; Kripke semantics; Computer science; S5; Algorithm; Calculus (dental); Mathematics; Theoretical computer science; Pure mathematics; Description logic; Multimodal logic; Programming language; Medicine; Geometry; Chemistry","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.00132885,0.0001727695,0.00054146,0.00002740951,0.000110023,0.0000610827,0.001211152,0.00006608152,0.00006417665],"category_scores_gemma":[0.0002860626,0.00009392593,0.0002341822,0.0006239942,0.0001003522,0.0001076794,0.0003731739,0.0001678475,0.0002400217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002171586,"about_ca_system_score_gemma":0.0001386386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002538167,"about_ca_topic_score_gemma":0.000003280745,"domain_scores_codex":[0.9980379,0.0003888221,0.0005356506,0.0003582685,0.0003701673,0.0003092291],"domain_scores_gemma":[0.9979909,0.0001573665,0.0002862439,0.001272692,0.0002256514,0.00006715522],"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":[7.82458e-7,0.00005879133,0.00003744768,0.001779467,0.00002556869,0.00003108676,0.0001673257,0.000002814074,0.0002267663,0.9635051,0.001118512,0.03304633],"study_design_scores_gemma":[0.0006445191,0.0003154352,0.001249406,0.002133872,0.0001852321,0.0009689304,0.0001740747,0.001969654,0.003938611,0.6131833,0.3743523,0.0008846335],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"review","genre_gemma":"empirical","genre_scores_codex":[0.0009835624,0.6765035,0.2497145,0.01359807,0.001647973,0.001170038,0.000002521222,0.0003467247,0.05603312],"genre_scores_gemma":[0.8789881,0.1120717,0.003485159,0.004084915,0.0001894343,0.0000448473,0.000007921638,0.00001415336,0.001113676],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8780046,"threshold_uncertainty_score":0.3830189,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04842376448480241,"score_gpt":0.2930851429104004,"score_spread":0.244661378425598,"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."}}