{"id":"W2584450811","doi":"","title":"A higher order modal fixed point logic","year":2004,"lang":"en","type":"article","venue":"Lecture notes in computer science","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Decidability; Modal μ-calculus; Recursively enumerable language; Computer science; Fixed point; Bisimulation; Modal logic; Transition system; Normal modal logic; Property (philosophy); Negation; Modal operator; Discrete mathematics; Class (philosophy); Modal; Multimodal logic; Mathematics; Algorithm; Theoretical computer science; Description logic; Artificial intelligence; 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.001443665,0.0008310074,0.001022136,0.001987811,0.002317815,0.003921875,0.001790646,0.001784544,0.01920452],"category_scores_gemma":[0.001703965,0.0008858226,0.002459015,0.002058727,0.003698473,0.0101107,0.003342518,0.004631441,0.00250559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002925129,"about_ca_system_score_gemma":0.0008428929,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002665745,"about_ca_topic_score_gemma":0.001980494,"domain_scores_codex":[0.9990152,0.0002267618,0.00006262524,0.0002337189,0.0003056811,0.0001559965],"domain_scores_gemma":[0.9992186,0.0003505654,0.0000320304,0.0001460845,0.0001834023,0.00006929236],"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.00001081532,0.000007118307,0.00002289855,0.00001669807,0.00000398543,0.00002421705,0.00007497505,0.0002772045,0.0002924765,0.9960461,0.0006155844,0.002607829],"study_design_scores_gemma":[0.00001163262,0.00001115836,0.00003200709,0.00001136751,0.0000128569,0.00004647832,0.00004423068,0.004175459,0.0004498868,0.9876438,0.007551239,0.000009824294],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03509587,0.001137067,0.8110128,0.00307544,0.0004661646,0.0001070359,0.0006535743,0.001064124,0.147388],"genre_scores_gemma":[0.7060386,0.001108641,0.2106468,0.00111257,0.0004612275,0.0001525974,0.0007897511,0.0005674564,0.07912248],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01920452,"threshold_uncertainty_score":0.06424552,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02811555052953642,"score_gpt":0.2511581400151554,"score_spread":0.223042589485619,"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."}}