{"id":"W2010716453","doi":"10.1305/ndjfl/1117755151","title":"A Deontic Counterpart of Lewis's S1","year":2005,"lang":"en","type":"article","venue":"Notre Dame Journal of Formal Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Deontic logic; Soundness; Normal modal logic; Modal logic; Modal; Completeness (order theory); Schema (genetic algorithms); Philosophy; Epistemology; Accessibility relation; Calculus (dental); Computer science; Mathematics; Linguistics","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.003113546,0.0003105454,0.0003823788,0.0007631679,0.002266967,0.002510166,0.001111085,0.001161777,0.008041088],"category_scores_gemma":[0.003103746,0.000269227,0.0006888873,0.0006215003,0.006521133,0.00537846,0.002534006,0.002360131,0.0007756097],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002084698,"about_ca_system_score_gemma":0.001955767,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00437861,"about_ca_topic_score_gemma":0.00346522,"domain_scores_codex":[0.9982843,0.0004807276,0.0001096027,0.0004610156,0.0004242721,0.0002401357],"domain_scores_gemma":[0.9982538,0.0005744169,0.0002359537,0.000268832,0.0005012418,0.0001657235],"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.000007713695,0.000003770657,0.0001099725,0.00001291613,0.000001477907,0.00003716962,0.0003382443,0.0001215833,0.0004745745,0.9968779,0.0003413878,0.00167327],"study_design_scores_gemma":[0.00002448847,0.00006060746,0.0003196633,0.00001963669,0.00001047075,0.0001351865,0.0004191851,0.004189561,0.001862493,0.9624847,0.03045327,0.00002071755],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1975882,0.0008914372,0.4643742,0.008135553,0.0004538575,0.0002310795,0.0003748217,0.0008699935,0.3270809],"genre_scores_gemma":[0.9252226,0.0003134922,0.05010827,0.0009671972,0.0002150271,0.00007814527,0.0001514159,0.00007342721,0.02287032],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008041088,"threshold_uncertainty_score":0.02690011,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01209097252174723,"score_gpt":0.2493068335905838,"score_spread":0.2372158610688366,"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."}}