{"id":"W3105926622","doi":"","title":"Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity","year":2012,"lang":"en","type":"article","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematics; Propositional variable; Intermediate logic; Decidability; Propositional calculus; Modal logic; Zeroth-order logic; Intuitionistic logic; Well-formed formula; Arity; Discrete mathematics; Normal modal logic; Modal; Computer science; Multimodal logic; Description logic; Theoretical computer science","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.0002025686,0.00006261597,0.0001234819,0.00003057269,0.00006213708,0.00001213999,0.00009385956,0.00003084606,0.00002065902],"category_scores_gemma":[0.00006408311,0.00004394171,0.00001797656,0.00008241492,0.0001792817,0.000209813,0.00007820938,0.00005215022,0.000001537591],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007687842,"about_ca_system_score_gemma":0.00001278949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000608205,"about_ca_topic_score_gemma":0.000006487849,"domain_scores_codex":[0.9994472,0.00005139837,0.0001329209,0.0001512129,0.0001134902,0.000103795],"domain_scores_gemma":[0.9994636,0.000215423,0.00005935302,0.0001611849,0.00004645457,0.00005404415],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00001262494,0.0001770703,0.009528635,0.00002567156,0.000004046302,2.800779e-7,0.00008804724,0.000005527731,0.00223911,0.9847001,0.00001050894,0.003208329],"study_design_scores_gemma":[0.0002629394,0.0003274541,0.5372137,0.00001708649,0.000006214565,0.00001248814,0.00002735119,0.002034312,0.01808847,0.4418736,0.0000285597,0.0001077535],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7051086,0.0001258826,0.2925954,0.0003046475,0.00005027395,0.0001129351,0.000003906353,0.0000215913,0.00167682],"genre_scores_gemma":[0.9737096,0.000007276491,0.02617535,0.00006894176,0.00001225687,0.000003593847,0.000001377944,0.000001200519,0.00002034354],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5428265,"threshold_uncertainty_score":0.1791891,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02492570156563612,"score_gpt":0.2656529991516028,"score_spread":0.2407272975859667,"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."}}