{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000348915,0.0001428408,0.0003343037,0.0001394693,0.00006501612,0.00004295104,0.0009102991,0.00006624107,0.00007944222],"category_scores_gemma":[0.00006254762,0.0001011375,0.0001907898,0.0002409026,0.0000651013,0.001824677,0.0001336092,0.0002632006,0.00006979991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000542949,"about_ca_system_score_gemma":0.00008667563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001695545,"about_ca_topic_score_gemma":0.000005261907,"domain_scores_codex":[0.9984784,0.00003815083,0.0006209019,0.0001271741,0.0004002904,0.000335059],"domain_scores_gemma":[0.9987093,0.00007462821,0.000601923,0.0002661556,0.0002280756,0.0001198936],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004223234,0.001399935,0.007281313,0.0001570618,0.0002616061,0.0005820093,0.003672181,0.02147819,0.01525407,0.3342556,0.009028858,0.6062068],"study_design_scores_gemma":[0.01752485,0.01754977,0.0702679,0.001344141,0.0004621626,0.01525637,0.001053082,0.1511909,0.07494953,0.2499995,0.3966924,0.003709409],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3198997,0.001333578,0.6718304,0.001579248,0.0005440997,0.0001007031,0.000004183389,0.00004101328,0.004667096],"genre_scores_gemma":[0.9434767,0.00006957119,0.05545556,0.0006907922,0.0001989511,7.814834e-7,6.560879e-7,0.000005074435,0.0001018894],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.623577,"threshold_uncertainty_score":0.4124266,"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."}}