{"id":"W2122159838","doi":"10.1109/ismvl.2003.1201420","title":"CTL model-checking over logics with non-classical negations","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University; University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"CTL*; Negation; Model checking; Computer science; Computation tree logic; Programming language; Theoretical computer science; Negation as failure; Mathematics; Algebra over a field; Description logic; Pure mathematics; Stable model semantics; Medicine","routes":{"ca_aff":true,"ca_fund":true,"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.005707455,0.0009775604,0.00104564,0.00142855,0.001082614,0.0037438,0.003893519,0.001435385,0.001809765],"category_scores_gemma":[0.011639,0.0007734947,0.002683154,0.001228973,0.004599831,0.007414256,0.002769614,0.002923471,0.0002094018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004528894,"about_ca_system_score_gemma":0.003738862,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01054999,"about_ca_topic_score_gemma":0.01320505,"domain_scores_codex":[0.9941703,0.001516957,0.0005024623,0.001067352,0.002002134,0.0007407323],"domain_scores_gemma":[0.988704,0.007072258,0.00091668,0.001496383,0.001532102,0.000278457],"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.001074338,0.000281448,0.004900141,0.0005640306,0.0003951449,0.001117499,0.0007579948,0.379283,0.03330293,0.5306273,0.002350915,0.04534531],"study_design_scores_gemma":[0.0001636732,0.00006104511,0.0001953918,0.00004067392,0.0001169813,0.0001117057,0.00006677661,0.8022164,0.0349097,0.1605125,0.001558946,0.00004629033],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08044564,0.0001438467,0.9139524,0.0004966838,0.00007683423,0.00009433923,0.0002576189,0.002742662,0.001789898],"genre_scores_gemma":[0.771822,0.0001278718,0.2254734,0.0003451957,0.00004744158,0.0001236055,0.0003510463,0.000192187,0.001517173],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01054999,"threshold_uncertainty_score":0.03285956,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03248530986428076,"score_gpt":0.2891900487914606,"score_spread":0.2567047389271798,"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."}}