{"id":"W3043284895","doi":"10.1017/s1755020321000216","title":"QUANTIFIED MODAL RELEVANT LOGICS","year":2021,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Modal; Normal modal logic; Semantics (computer science); Converse; Accessibility relation; Modal logic; Kripke semantics; Computer science; S5; Algorithm; Calculus (dental); Mathematics; Theoretical computer science; Pure mathematics; Description logic; Multimodal logic; Programming language; Medicine; Geometry; Chemistry","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.003384269,0.0006181037,0.0005792329,0.003082279,0.001449927,0.003785046,0.001861793,0.001293697,0.004180691],"category_scores_gemma":[0.004378926,0.0004588261,0.001169687,0.002240027,0.005448525,0.006814715,0.002408818,0.0032285,0.0007107828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003977051,"about_ca_system_score_gemma":0.001714878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002609818,"about_ca_topic_score_gemma":0.001927438,"domain_scores_codex":[0.9967228,0.001217377,0.0002170841,0.0004561175,0.00116186,0.0002248133],"domain_scores_gemma":[0.9980608,0.0007275126,0.0001706042,0.0002826621,0.0006505957,0.0001078231],"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.000003124457,0.00000314823,0.00001031655,0.00002280061,0.000003032805,0.00001551732,0.00006849143,0.0003060614,0.0001590587,0.9971218,0.0003532926,0.001933385],"study_design_scores_gemma":[0.000007991018,0.000004553718,0.00003509187,0.00003603389,0.000008766604,0.00003679326,0.00004702942,0.003662358,0.0003886301,0.9827234,0.01304122,0.000008271693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01813343,0.004152053,0.8403633,0.006858998,0.000601655,0.0001835968,0.0004647798,0.0006955244,0.1285468],"genre_scores_gemma":[0.7005115,0.003984548,0.2696981,0.004147425,0.000952997,0.0004069629,0.0006450856,0.0001980715,0.01945542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004180691,"threshold_uncertainty_score":0.02885562,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04842376448480241,"score_gpt":0.2930851429104004,"score_spread":0.244661378425598,"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."}}