{"id":"W2331073395","doi":"10.1017/s1755020314000021","title":"QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE","year":2014,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Modal logic; Mathematics; Multimodal logic; Linear subspace; Normal modal logic; Class (philosophy); Real line; Line (geometry); Topological space; S5; Dynamic logic (digital electronics); Topology (electrical circuits); Modal; Pure mathematics; Discrete mathematics; Computer science; Theoretical computer science; Artificial intelligence; Combinatorics; Physics; Description logic","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.002422391,0.0001924196,0.0004067207,0.0000337188,0.0002133059,0.00004956776,0.001792186,0.00005293975,0.0001509941],"category_scores_gemma":[0.0007379641,0.00007938755,0.0002035461,0.0003959245,0.0001660479,0.00008198831,0.0002445055,0.0002098178,0.0005497147],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001879421,"about_ca_system_score_gemma":0.0000635509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007551049,"about_ca_topic_score_gemma":0.000001921595,"domain_scores_codex":[0.9980991,0.0005651357,0.0004039461,0.0003032093,0.0003679482,0.0002606353],"domain_scores_gemma":[0.997661,0.0007860676,0.0002690211,0.001083837,0.0001463878,0.00005369475],"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.000002066984,0.00005583369,0.00001083903,0.0002452404,0.00001222218,6.010263e-7,0.0001120833,0.00002115465,0.00007532251,0.9855184,0.00261683,0.01132941],"study_design_scores_gemma":[0.0007523308,0.0009380959,0.004061495,0.004407081,0.0001337743,0.0001079193,0.00003730239,0.04228498,0.001741641,0.8347201,0.1100096,0.0008056223],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.009402801,0.1663828,0.2959356,0.1405775,0.002157347,0.003324199,0.00001090695,0.0005521416,0.3816566],"genre_scores_gemma":[0.9654227,0.01668079,0.001106618,0.01557948,0.0004059499,0.00006433621,0.000005578342,0.00001072591,0.0007238278],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9560199,"threshold_uncertainty_score":0.7065653,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04627299118960957,"score_gpt":0.288253351698684,"score_spread":0.2419803605090745,"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."}}