{"id":"W2065234465","doi":"10.1007/s001530100135","title":"The modal logic of the countable random frame","year":2003,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Modal logic; Mathematics; Normal modal logic; Countable set; Intermediate logic; Accessibility relation; Discrete mathematics; Dynamic logic (digital electronics); Modal μ-calculus; Multimodal logic; Axiom; Frame (networking); S5; Modal; Algebra over a field; Pure mathematics; Theoretical computer science; Computer science; Description logic; Geometry","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.003412283,0.0007033793,0.001532761,0.00290474,0.003222524,0.006861448,0.002243322,0.002228508,0.0087773],"category_scores_gemma":[0.008120467,0.0007573478,0.001812163,0.002685182,0.006518632,0.01424338,0.003166346,0.003934679,0.001399486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002887235,"about_ca_system_score_gemma":0.001390053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002596785,"about_ca_topic_score_gemma":0.002014742,"domain_scores_codex":[0.9979091,0.0008880297,0.0001324629,0.0004322632,0.0004490203,0.0001889975],"domain_scores_gemma":[0.9961707,0.00193686,0.000339403,0.0008084467,0.0004722239,0.0002722669],"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.000006197452,0.000002150415,0.00001303158,0.000007689147,0.000002321426,0.000007856579,0.0000347373,0.0001809189,0.0000572926,0.9984151,0.0003346264,0.0009380265],"study_design_scores_gemma":[0.000006386325,0.000003577508,0.00002449932,0.000008265102,0.000004739641,0.00001701136,0.00001873758,0.002497558,0.00009051165,0.9949222,0.002400347,0.000006194658],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0627359,0.007011144,0.7742977,0.01137685,0.0005217873,0.00008910895,0.001205303,0.0007703321,0.141992],"genre_scores_gemma":[0.8393527,0.003723379,0.1191304,0.001396424,0.00156594,0.0002702712,0.001316559,0.0003160254,0.03292835],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0087773,"threshold_uncertainty_score":0.02936298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01990583602813409,"score_gpt":0.2509302216620011,"score_spread":0.231024385633867,"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."}}