{"id":"W3193790318","doi":"10.18778/0138-0680.2021.18","title":"An Arithmetically Complete Predicate Modal Logic","year":2021,"lang":"en","type":"article","venue":"Bulletin of the Section of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Predicate (mathematical logic); Modal; Completeness (order theory); Kripke semantics; Mathematics; Modal logic; First order; Extension (predicate logic); Algorithm; Computer science; Artificial intelligence; Multimodal logic; Programming language; Description logic; Applied mathematics","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.0008375383,0.0003589109,0.0003159958,0.0005911464,0.0009518783,0.001921126,0.0009749361,0.0006073577,0.005948593],"category_scores_gemma":[0.001122755,0.0002381686,0.0009030307,0.0004703319,0.002629638,0.004246803,0.002007984,0.001948453,0.0006089653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001475797,"about_ca_system_score_gemma":0.0009662041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00171748,"about_ca_topic_score_gemma":0.001636414,"domain_scores_codex":[0.9994771,0.0001099085,0.00002254422,0.0001259007,0.0001720461,0.00009252399],"domain_scores_gemma":[0.9994826,0.0002623845,0.00003819454,0.00007341171,0.0001060411,0.00003728039],"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.00002548587,0.00001177907,0.00005916991,0.00003532138,0.000004174579,0.00005109713,0.000138618,0.001740966,0.001182715,0.9916489,0.0005280515,0.004573727],"study_design_scores_gemma":[0.00002553966,0.00004086663,0.0001581413,0.00002239166,0.00001251597,0.0001146783,0.00009525139,0.01373513,0.002885699,0.9578494,0.02504593,0.00001439169],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1887833,0.0008597623,0.6147414,0.003131337,0.0001837427,0.000112737,0.001139524,0.001936485,0.1891117],"genre_scores_gemma":[0.8907139,0.0002967418,0.08457814,0.0006755078,0.0001096167,0.00006331038,0.0006279589,0.0001202851,0.02281452],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005948593,"threshold_uncertainty_score":0.01990008,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02306834566345674,"score_gpt":0.2426011623641912,"score_spread":0.2195328167007345,"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."}}