{"id":"W2068303546","doi":"10.1016/j.apal.2009.01.015","title":"Dynamic topological S5","year":2009,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Topological space; Mathematics; Topological tensor product; Modal logic; Topological vector space; Normal modal logic; Function space; Topology (electrical circuits); Compact-open topology; Category of topological spaces; Class (philosophy); Homeomorphism (graph theory); Discrete space; Pure mathematics; Modal; Discrete mathematics; Computer science; Mathematical analysis; Combinatorics; Functional analysis; Artificial intelligence","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.0006425134,0.00067626,0.0006564769,0.003546623,0.003265802,0.005087009,0.0008442255,0.001282373,0.0492895],"category_scores_gemma":[0.002061993,0.0004033708,0.0008975368,0.001803219,0.003003567,0.006652955,0.002838497,0.002205392,0.005793689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002243805,"about_ca_system_score_gemma":0.0009594749,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001700434,"about_ca_topic_score_gemma":0.001773599,"domain_scores_codex":[0.9991522,0.0001514946,0.00004869417,0.0002820653,0.0002179732,0.0001475657],"domain_scores_gemma":[0.9988122,0.0002212532,0.000122083,0.0002313748,0.0004078366,0.0002053036],"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.00001196396,0.000005323841,0.00005717128,0.0000109973,0.000002648463,0.00001880936,0.00005538319,0.0001337054,0.0001663233,0.9944185,0.002331943,0.002787264],"study_design_scores_gemma":[0.000009388897,0.0000126788,0.0001644085,0.00001194451,0.000007224329,0.0001320743,0.0001390936,0.001560058,0.0003743096,0.9574686,0.04011019,0.00001003992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0992574,0.001212909,0.1609061,0.00655427,0.001028153,0.00009809882,0.002479927,0.001082967,0.7273802],"genre_scores_gemma":[0.7528014,0.001146056,0.03857739,0.001555102,0.0007830489,0.0001466112,0.003234264,0.0006546338,0.2011015],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0492895,"threshold_uncertainty_score":0.1648898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03521211998771567,"score_gpt":0.2953889388376347,"score_spread":0.260176818849919,"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."}}