{"id":"W7124249030","doi":"10.65109/ikhz8061","title":"Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments","year":2025,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Decidability; Accessibility relation; Modal logic; Normal modal logic; Modal; Satisfiability; Translation (biology); Transitive relation; Modal operator","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.002524412,0.0008603664,0.0006367784,0.00110464,0.001003484,0.002248665,0.00208281,0.001075524,0.004224998],"category_scores_gemma":[0.008024791,0.000694646,0.003023173,0.0009657748,0.003522987,0.004322428,0.003035567,0.003680516,0.0006402371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002880585,"about_ca_system_score_gemma":0.002221446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00323418,"about_ca_topic_score_gemma":0.003173625,"domain_scores_codex":[0.9976987,0.0005267432,0.0001891895,0.0004252678,0.0008857232,0.0002743413],"domain_scores_gemma":[0.9958598,0.002617001,0.0003195314,0.0006820487,0.0004439397,0.00007753329],"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.0001010792,0.0001530504,0.0003661065,0.0002888451,0.00008947551,0.0006722744,0.001353122,0.03745437,0.006850796,0.9034816,0.00247589,0.04671334],"study_design_scores_gemma":[0.00008326793,0.00006131659,0.0001915081,0.00006682285,0.00009299358,0.0002093569,0.0002004927,0.1760317,0.01777275,0.7942695,0.01098375,0.00003655756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01453685,0.0002093607,0.9753018,0.000777774,0.0001004278,0.0002013141,0.0002214535,0.0009369599,0.007714005],"genre_scores_gemma":[0.4064589,0.0005379376,0.5851509,0.0007510466,0.0001691102,0.0004195662,0.0009561872,0.0003639535,0.005192365],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004224998,"threshold_uncertainty_score":0.02090025,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01806375938152745,"score_gpt":0.2745310301110216,"score_spread":0.2564672707294942,"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."}}