{"id":"W1592359484","doi":"10.1007/3-540-45251-6_5","title":"Model-Checking Over Multi-Valued Logics","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Computer science; Model checking; Extension (predicate logic); Semantics (computer science); Theoretical computer science; Computation tree logic; Temporal logic; CTL*; Programming language","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.00483419,0.00143223,0.001442638,0.001824787,0.001094235,0.004289419,0.003190373,0.001442021,0.003946953],"category_scores_gemma":[0.01617589,0.001850485,0.003307934,0.001938925,0.003095133,0.01074361,0.003930584,0.003981693,0.0005246436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003257471,"about_ca_system_score_gemma":0.001975806,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003005142,"about_ca_topic_score_gemma":0.004097455,"domain_scores_codex":[0.9934603,0.00210435,0.0005196069,0.001013778,0.002379651,0.000522412],"domain_scores_gemma":[0.9848914,0.01174327,0.000743792,0.001733819,0.0006854662,0.0002022734],"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.0006908532,0.0001673595,0.001723426,0.0008673669,0.000306723,0.0004115672,0.0004437391,0.2179129,0.01497785,0.6273283,0.002821776,0.1323481],"study_design_scores_gemma":[0.0001180657,0.00005237882,0.0001720865,0.0001148202,0.00012474,0.0001214568,0.00005883613,0.3771989,0.0204604,0.59873,0.002808788,0.00003948941],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02965333,0.0005614962,0.9621446,0.0004304854,0.00009828591,0.00008844201,0.0002315419,0.002728048,0.004063739],"genre_scores_gemma":[0.6686873,0.0006366954,0.3246626,0.0002963143,0.00009803573,0.0001742585,0.0005783825,0.0005841553,0.00428219],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00483419,"threshold_uncertainty_score":0.02556592,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08175201863392131,"score_gpt":0.3215951428315679,"score_spread":0.2398431241976466,"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."}}