{"id":"W2125004756","doi":"10.1016/j.entcs.2004.11.012","title":"Algebra and Sequent Calculus for Epistemic Actions","year":2005,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Sequent calculus; Sequent; Proof calculus; Mathematics; Cut-elimination theorem; Calculus (dental); Constructive; Algebra over a field; Semantics (computer science); Algebraic semantics; Natural deduction; Computer science; Discrete mathematics; Pure mathematics; Mathematical proof; 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.002789397,0.000765954,0.001003694,0.002149614,0.002624443,0.003651244,0.00223177,0.001505482,0.009509807],"category_scores_gemma":[0.003085761,0.0004641555,0.002070968,0.002361517,0.004357025,0.007465553,0.003113618,0.003652204,0.00254695],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002541607,"about_ca_system_score_gemma":0.002254711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00342139,"about_ca_topic_score_gemma":0.002396596,"domain_scores_codex":[0.9980106,0.0004700232,0.0001536366,0.0003588205,0.0007528196,0.0002541431],"domain_scores_gemma":[0.9988502,0.0004471777,0.0001242257,0.00013851,0.0002952858,0.0001446125],"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.000003236152,0.000006432072,0.00001981985,0.00001887018,0.00000304234,0.00004108558,0.00007500126,0.00043278,0.0001373146,0.9975581,0.0003503219,0.001353957],"study_design_scores_gemma":[0.000006138134,0.000005075527,0.00002585991,0.000009139531,0.000005493452,0.00004256161,0.00001973964,0.002567407,0.0001270576,0.9876243,0.00956028,0.000006903198],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01088359,0.004593987,0.8916559,0.003143012,0.0007609862,0.0001669178,0.0007029895,0.0006897404,0.08740286],"genre_scores_gemma":[0.4928765,0.006444716,0.444898,0.0021823,0.002204553,0.0009764031,0.001663927,0.0002592909,0.0484944],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009509807,"threshold_uncertainty_score":0.03181344,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01208431195925075,"score_gpt":0.2719294791943337,"score_spread":0.259845167235083,"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."}}