{"id":"W2101249878","doi":"10.1016/j.apal.2006.04.001","title":"Frege systems for extensible modal logics","year":2006,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Propositional calculus; Propositional variable; Equivalence (formal languages); Intuitionistic logic; Well-formed formula; Mathematics; Modal; Modal logic; Calculus (dental); Mathematical proof; Propositional formula; Discrete mathematics; Intermediate logic; Zeroth-order logic; Logical equivalence; Algebra over a field; Computer science; Pure mathematics; Programming language; Multimodal logic; Description logic","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.0003225872,0.0001656351,0.0003088853,0.00006466902,0.000122544,0.00009694496,0.0003851033,0.0001268713,0.000002981911],"category_scores_gemma":[0.00001547109,0.0001240591,0.00008272191,0.000173813,0.00006848651,0.000106721,0.0001180192,0.00007224579,0.00001195764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003888294,"about_ca_system_score_gemma":0.00002672383,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002589934,"about_ca_topic_score_gemma":0.000007330136,"domain_scores_codex":[0.9988793,0.00001831664,0.0002522767,0.0003643194,0.0001441305,0.0003417124],"domain_scores_gemma":[0.9992332,0.0001013146,0.0001446004,0.0003055499,0.0001472851,0.00006806357],"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.000009534488,0.00008235754,0.000092059,0.00006740776,0.00001104049,0.000002891219,0.0000683336,0.0003297402,0.001017014,0.9798746,0.01599715,0.002447925],"study_design_scores_gemma":[0.001001776,0.0005239816,0.002671854,0.00004326629,0.00002697625,0.00003585768,0.0001599652,0.01596799,0.01147344,0.924083,0.04337981,0.0006320842],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08352382,0.02157333,0.7251241,0.001859769,0.0007188805,0.001501476,0.00004059503,0.0004131463,0.1652449],"genre_scores_gemma":[0.9945988,0.0001515396,0.003852997,0.0003876033,0.0002377309,0.00004972854,0.000008916211,0.000007881765,0.0007047998],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.911075,"threshold_uncertainty_score":0.5058982,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04791883066781888,"score_gpt":0.2739468383898415,"score_spread":0.2260280077220226,"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."}}