{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002812606,0.0001733402,0.0002520706,0.0001224481,0.0002221379,0.00007029366,0.0005355809,0.0001050287,0.00003348333],"category_scores_gemma":[0.00008784763,0.0001391861,0.0000620569,0.0005243784,0.00007013918,0.0002212202,0.0003783956,0.0001123058,0.00002099888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000428262,"about_ca_system_score_gemma":0.0001128192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001385011,"about_ca_topic_score_gemma":0.0007193199,"domain_scores_codex":[0.9988188,0.00004686331,0.0003103057,0.0004145828,0.0001285711,0.0002809215],"domain_scores_gemma":[0.9991892,0.0001450899,0.00006506958,0.0003449953,0.0001678385,0.00008782852],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000034869,0.002575945,0.1194075,0.0009730179,0.0002952354,0.00001962991,0.0373743,0.001147596,0.003338118,0.4237774,0.003743566,0.4073128],"study_design_scores_gemma":[0.003300475,0.0002744009,0.02414912,0.000251993,0.00004397955,0.000005497064,0.0002911161,0.9273169,0.007437627,0.01633775,0.01998353,0.0006075851],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02035231,0.002543135,0.9208845,0.0002925516,0.0003588002,0.0002468835,8.074123e-7,0.0001116565,0.05520938],"genre_scores_gemma":[0.8280697,0.00007124819,0.1676446,0.0001120239,0.00001893612,0.00001661067,0.000001047213,0.000005791613,0.004060057],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9261693,"threshold_uncertainty_score":0.5675846,"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."}}