{"id":"W3134130638","doi":"10.4230/lipics.csl.2026.3","title":"Modal Reasoning = Metric Reasoning, via Lawvere","year":2021,"lang":"en","type":"preprint","venue":"VBN Forskningsportal (Aalborg Universitet)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Modal; Modal logic; Accessibility relation; Normal modal logic; Computer science; Equivalence (formal languages); Equivalence relation; Algebra over a field; S5; Mathematics; Theoretical computer science; Discrete mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003718035,0.0005313544,0.0005909754,0.001406141,0.001550675,0.004180396,0.001301695,0.001214,0.006071554],"category_scores_gemma":[0.007598487,0.0004031369,0.001702278,0.0009491552,0.00645157,0.009602398,0.005057219,0.003311201,0.0008786864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002511777,"about_ca_system_score_gemma":0.00115211,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002921356,"about_ca_topic_score_gemma":0.003067662,"domain_scores_codex":[0.9972235,0.0009274092,0.0001883366,0.0006174216,0.0008626081,0.000180753],"domain_scores_gemma":[0.9978041,0.00109877,0.0001376266,0.0005354589,0.0003183814,0.0001055783],"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.00000803353,0.000009478676,0.00006851253,0.00002932894,0.00000970464,0.00002443076,0.000144206,0.0008814176,0.000298605,0.9910353,0.0008618116,0.006629114],"study_design_scores_gemma":[0.000007531859,0.000004956133,0.00004182003,0.000009390846,0.000006504452,0.00002348871,0.00003567402,0.004542488,0.0003500172,0.9898533,0.005119259,0.000005491933],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02180731,0.0008360635,0.8901629,0.003890462,0.0002356166,0.00008832793,0.0002669797,0.0008617574,0.0818505],"genre_scores_gemma":[0.6977156,0.001142319,0.2818258,0.001534767,0.0004990732,0.0002005814,0.0004700634,0.0002483561,0.01636332],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006071554,"threshold_uncertainty_score":0.02031142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01170932347222479,"score_gpt":0.2182495091418198,"score_spread":0.2065401856695951,"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."}}