{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002983403,0.00005760427,0.0001533066,0.000125017,0.00004911301,0.00003954052,0.0001564597,0.00004560069,0.000002338023],"category_scores_gemma":[0.00006443363,0.00004223826,0.00004912703,0.0001683612,0.00002903087,0.0001957216,0.00005308256,0.00007995281,0.000001076409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001767984,"about_ca_system_score_gemma":0.00006741749,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006202452,"about_ca_topic_score_gemma":0.000001864081,"domain_scores_codex":[0.9993786,0.00005727487,0.0002979944,0.00008000926,0.0001195943,0.00006653985],"domain_scores_gemma":[0.9992045,0.0001070844,0.0003340314,0.00005499913,0.0002725977,0.00002678495],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007344769,0.0002447718,0.01786125,0.00008789277,0.00007331908,0.00001882015,0.001628061,0.007412295,0.001320061,0.4790905,0.00150706,0.4906826],"study_design_scores_gemma":[0.001203608,0.00084698,0.1235421,0.0001074574,0.00003982307,0.00007393964,0.0001273252,0.4047555,0.0007552113,0.4677232,0.0006850727,0.000139776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04250652,0.0005036325,0.9518669,0.0003647612,0.0003768656,0.00003684233,1.538311e-7,0.000009516509,0.004334835],"genre_scores_gemma":[0.9740996,0.00005248588,0.0256179,0.0001104539,0.0000620734,2.311616e-7,4.519271e-7,0.000001020345,0.00005579684],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9315931,"threshold_uncertainty_score":0.1722426,"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."}}