{"id":"W4414314109","doi":"10.1093/logcom/exaf046","title":"Logics of spatial isolation","year":2025,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"London Mathematical Society","keywords":"Characterization (materials science); Modal logic; Modal; Neighbourhood (mathematics); Isolation (microbiology); Accessibility relation; Topological space; Normal modal 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.002267495,0.0004032058,0.0003254421,0.001053217,0.001564036,0.003023153,0.001175248,0.0008361509,0.005441009],"category_scores_gemma":[0.003419453,0.000306192,0.0006928992,0.0007721437,0.006644495,0.0076842,0.005426333,0.002037513,0.0004878225],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001722212,"about_ca_system_score_gemma":0.0008677847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001543943,"about_ca_topic_score_gemma":0.001249309,"domain_scores_codex":[0.9980677,0.0007387834,0.0001246746,0.0003524742,0.0005007152,0.0002156737],"domain_scores_gemma":[0.9974912,0.001222982,0.0002472513,0.0004259334,0.0004056293,0.000207],"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.0000250753,0.000005303398,0.00007518483,0.00003931569,0.000004340959,0.00006484163,0.0003284123,0.001202823,0.00101733,0.9939916,0.0003501396,0.002895592],"study_design_scores_gemma":[0.00002086003,0.00002545377,0.0001242903,0.00002920586,0.00001639599,0.0001419107,0.0004668432,0.01649909,0.002738171,0.9673153,0.01260628,0.00001616667],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09127474,0.0008082418,0.8105759,0.003479732,0.0001650052,0.00008505988,0.0002528797,0.0009059886,0.09245244],"genre_scores_gemma":[0.9475859,0.0002687425,0.045326,0.0003506246,0.0001100324,0.00008028385,0.0001396262,0.00006464155,0.006074093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005441009,"threshold_uncertainty_score":0.01820201,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01626115940864831,"score_gpt":0.2742188377594588,"score_spread":0.2579576783508105,"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."}}