{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002327223,0.0004892575,0.0007555309,0.002206347,0.0008850119,0.003965672,0.0008709054,0.0008149403,0.003448533],"category_scores_gemma":[0.0028314,0.0003103713,0.0008616048,0.002568391,0.006803551,0.006281205,0.001818125,0.002041123,0.0005198627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002746437,"about_ca_system_score_gemma":0.001300933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004357584,"about_ca_topic_score_gemma":0.00249081,"domain_scores_codex":[0.9975763,0.00109866,0.0001543758,0.0003009157,0.0007039267,0.0001658586],"domain_scores_gemma":[0.998053,0.0008608911,0.0001883298,0.000190375,0.0006179113,0.00008952564],"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.00001102662,0.000003459265,0.00003898985,0.00004376991,0.000009042904,0.00003264625,0.00009571713,0.001435411,0.0002030636,0.9952402,0.0004268225,0.002459894],"study_design_scores_gemma":[0.00001230326,0.000007115002,0.00008573278,0.00003405343,0.000007427827,0.00002464362,0.00007354265,0.005572258,0.0003840949,0.9865029,0.007287444,0.000008396051],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1628334,0.01758602,0.6058636,0.0109431,0.0003190897,0.0001321684,0.001116668,0.0006020474,0.200604],"genre_scores_gemma":[0.9486667,0.004315537,0.03726162,0.0007638683,0.0002959666,0.00008374891,0.0004829758,0.00004902289,0.008080447],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004357584,"threshold_uncertainty_score":0.01992685,"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."}}