{"id":"W1998261607","doi":"10.1016/j.apal.2004.06.004","title":"Dynamic topological logic","year":2004,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":75,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Topological space; Topological dynamics; Topology (electrical circuits); Mathematics; Topological vector space; Topological entropy in physics; Topological algebra; Topological quantum number; Context (archaeology); Category of topological spaces; Connected space; Zero-dimensional space; Topological manifold; Topological tensor product; Pure mathematics; Physics; Combinatorics","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.0009585489,0.0005242287,0.0006139164,0.001857402,0.001816265,0.004702372,0.0007156749,0.001070561,0.01433399],"category_scores_gemma":[0.002147745,0.0003417621,0.0005808533,0.001454246,0.004475961,0.007284318,0.001845357,0.003208598,0.002172613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002590013,"about_ca_system_score_gemma":0.001075169,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001259899,"about_ca_topic_score_gemma":0.001234228,"domain_scores_codex":[0.999329,0.0001947265,0.00003204811,0.0001815803,0.0002046692,0.00005804868],"domain_scores_gemma":[0.9990552,0.0003079332,0.00006241144,0.0002303203,0.0002273176,0.0001167742],"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.000003057447,0.000002145618,0.00001874037,0.000005471686,0.000001307923,0.000005953217,0.00003268386,0.0001029862,0.0000556647,0.9957853,0.001779037,0.002207688],"study_design_scores_gemma":[0.000002971654,0.000003053262,0.00003855913,0.000007037108,0.000003092434,0.00003115869,0.00003453489,0.0007315335,0.0000920392,0.9686474,0.03040571,0.000003009422],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02941241,0.01343364,0.2478905,0.02287766,0.001909036,0.00005201001,0.001106939,0.0006297525,0.6826881],"genre_scores_gemma":[0.7681749,0.007751324,0.05032687,0.002609022,0.002296155,0.0001396231,0.001344474,0.0003300947,0.1670276],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01433399,"threshold_uncertainty_score":0.047952,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03988905272719816,"score_gpt":0.2942966727551921,"score_spread":0.2544076200279939,"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."}}