{"id":"W2027573831","doi":"10.1016/j.tcs.2011.12.016","title":"Encapsulating deontic and branching time specifications","year":2011,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Deontic logic; Computer science; Modular design; Locality; Temporal logic; Branching (polymer chemistry); Theoretical computer science; Linear temporal logic; Programming language; Modular programming; Epistemology","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.006611271,0.0009782978,0.0007936833,0.001317632,0.001009933,0.004344225,0.001903736,0.001989005,0.004455096],"category_scores_gemma":[0.01478746,0.001360486,0.001958537,0.001423804,0.002666771,0.007670192,0.003279022,0.002834446,0.00111638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001569148,"about_ca_system_score_gemma":0.002660444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00290873,"about_ca_topic_score_gemma":0.003212057,"domain_scores_codex":[0.9950877,0.00126913,0.0005669067,0.0005698645,0.001967103,0.0005392832],"domain_scores_gemma":[0.9875165,0.006847669,0.0008707254,0.003087461,0.001347631,0.0003299308],"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.00007933759,0.00004339347,0.0003509092,0.00009587672,0.00002135632,0.0001920788,0.0005084514,0.01295924,0.003734936,0.9639667,0.0005596071,0.01748799],"study_design_scores_gemma":[0.00006550956,0.00005278771,0.0001620848,0.00009297707,0.0001015062,0.0001808287,0.00014042,0.09574024,0.01862813,0.8591958,0.02558808,0.00005178513],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01888877,0.0001414292,0.9722689,0.0002483995,0.00007879937,0.00009699081,0.0002345391,0.001203616,0.006838495],"genre_scores_gemma":[0.496217,0.0005488968,0.4836696,0.0003473834,0.0001402825,0.0003327504,0.00128402,0.001209317,0.01625082],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006611271,"threshold_uncertainty_score":0.03496414,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04597758576506102,"score_gpt":0.2599045389504922,"score_spread":0.2139269531854312,"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."}}