{"id":"W2101995394","doi":"10.1007/978-3-540-75292-9_8","title":"A Complete and Compact Propositional Deontic Logic","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Deontic logic; Propositional variable; Zeroth-order logic; Computer science; Autoepistemic logic; Programming language; Intermediate logic; Philosophy; Linguistics; Multimodal logic; Description logic","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009912195,0.0005872925,0.0006161297,0.0007817032,0.0004104411,0.0006598774,0.002323477,0.0003209435,0.00003271651],"category_scores_gemma":[0.00007636627,0.0004853701,0.0001319174,0.000510292,0.001287061,0.0004798101,0.0009988372,0.000821087,0.00008514262],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002825735,"about_ca_system_score_gemma":0.0004434254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002526518,"about_ca_topic_score_gemma":0.0001061456,"domain_scores_codex":[0.9961632,0.00004092819,0.000481494,0.001562494,0.0009294043,0.000822407],"domain_scores_gemma":[0.9976746,0.0005483724,0.0002607038,0.0009217509,0.0002931508,0.0003014626],"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.00001789957,0.00009895541,0.0004234769,0.000113218,0.00003355737,0.0006200865,0.001190472,0.002295379,0.0002639246,0.5966688,0.0001085486,0.3981656],"study_design_scores_gemma":[0.0006302568,0.0005130568,0.00226153,0.0005180791,0.00001940292,0.001110911,2.253433e-7,0.3835205,0.0002364031,0.6051318,0.004758966,0.001298815],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000839492,0.001216571,0.9737172,0.0005944347,0.001039195,0.000404125,0.000007319446,0.0001810717,0.02275617],"genre_scores_gemma":[0.4340085,0.00009381709,0.5593504,0.004307638,0.001112963,0.000007106899,0.0000224041,0.00005973358,0.001037445],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4339246,"threshold_uncertainty_score":0.9997598,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0332965171951564,"score_gpt":0.265339419986123,"score_spread":0.2320429027909666,"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."}}