{"id":"W1830646994","doi":"10.1007/978-3-642-29485-3_14","title":"Combining Epistemic Logic and Hennessy-Milner Logic","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"Agence Nationale de la Recherche","keywords":"Philosophy of logic; Completeness (order theory); Modulo; Dynamic logic (digital electronics); Computer science; Epistemic modal logic; Equivalence (formal languages); Multimodal logic; Class (philosophy); Calculus (dental); Many-valued logic; State (computer science); Theoretical computer science; Programming language; Mathematics; Discrete mathematics; Artificial intelligence; Description logic; Physics; Quantum mechanics","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.00137143,0.0007702527,0.0008219811,0.0006671021,0.0004663546,0.000662643,0.00319332,0.0005319356,0.00003928073],"category_scores_gemma":[0.0001402952,0.0006209263,0.0001553615,0.000545146,0.001208602,0.0008013893,0.002546632,0.001085191,0.0001388519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002566602,"about_ca_system_score_gemma":0.0003202445,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000200865,"about_ca_topic_score_gemma":0.00004278688,"domain_scores_codex":[0.9955721,0.00007600252,0.0005849338,0.001829239,0.0007813415,0.001156399],"domain_scores_gemma":[0.9968837,0.0007153057,0.0003883809,0.001402707,0.0002377612,0.0003721576],"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.000005336357,0.00005460354,0.0005664753,0.00009254128,0.00001738866,0.0001237629,0.001818977,0.0008262832,0.0001727532,0.534081,0.00003794888,0.4622029],"study_design_scores_gemma":[0.0006043204,0.0003282278,0.0007365955,0.0005582629,0.00002622723,0.0006402898,7.768496e-7,0.09533478,0.0004307063,0.8964269,0.003317461,0.001595532],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001617102,0.006892539,0.9704803,0.0007959898,0.002599376,0.0003575484,0.000002575029,0.0002717229,0.01843821],"genre_scores_gemma":[0.786612,0.0004069973,0.2074896,0.003024173,0.001058038,0.00001866782,0.000007767354,0.00006331916,0.001319481],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7864503,"threshold_uncertainty_score":0.9996242,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02487137100485935,"score_gpt":0.244944357715064,"score_spread":0.2200729867102047,"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."}}