{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001500462,0.0001951732,0.0002176337,0.000194462,0.0003828983,0.0003067162,0.001389871,0.00007255979,0.00001250791],"category_scores_gemma":[0.0002437493,0.0001630879,0.00006685287,0.0007882994,0.001315827,0.0005872134,0.0005435918,0.0002909175,0.00002359607],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003910601,"about_ca_system_score_gemma":0.0003637413,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004991586,"about_ca_topic_score_gemma":0.00002726134,"domain_scores_codex":[0.9974427,0.00007573452,0.0002733058,0.0008128818,0.0003039382,0.001091435],"domain_scores_gemma":[0.9984769,0.0006344407,0.00004355319,0.0005269463,0.0001074292,0.0002107504],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000522952,0.00005079912,0.00007827194,0.000005562332,0.000002901098,0.000001247386,0.0003343672,0.0001293607,0.0005833266,0.9163647,0.00001086568,0.0824334],"study_design_scores_gemma":[0.0003952272,0.0002862168,0.0003515224,0.00001962215,0.000004105259,0.00008692311,0.000002339398,0.6631679,0.008254357,0.3261124,0.001081494,0.0002378701],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04385709,0.0004323983,0.9506921,0.003328352,0.0002681573,0.0002847248,7.555474e-7,0.0001263282,0.001010066],"genre_scores_gemma":[0.9338564,0.00003238082,0.06540912,0.0004578925,0.0001866175,0.00003484632,5.893302e-7,0.000007895017,0.00001420821],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8899994,"threshold_uncertainty_score":0.6650532,"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."}}