{"id":"W2080872423","doi":"10.1007/s11225-013-9492-5","title":"Decidability of an Xstit Logic","year":2013,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University","funders":"Killam Trusts","keywords":"Decidability; Undecidable problem; Mathematics; Completeness (order theory); Fragment (logic); Discrete mathematics; Closure (psychology); Intermediate logic; Zeroth-order logic; Mathematical proof; Dynamic logic (digital electronics); Computer science; Algorithm; Description logic; Programming language; Multimodal logic","routes":{"ca_aff":true,"ca_fund":true,"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.003960615,0.0006753915,0.00100479,0.001833867,0.003444149,0.006983542,0.003107928,0.002279561,0.009542574],"category_scores_gemma":[0.01008934,0.00119101,0.003921376,0.00182456,0.004848388,0.01265627,0.003537851,0.006721123,0.0009616357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00371712,"about_ca_system_score_gemma":0.002527162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005959975,"about_ca_topic_score_gemma":0.005590818,"domain_scores_codex":[0.9964159,0.0008849505,0.0003216107,0.0007846929,0.001116387,0.0004764021],"domain_scores_gemma":[0.991013,0.006756329,0.0003520392,0.0007089477,0.0008436487,0.0003260649],"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.00007376903,0.0000664014,0.0004932618,0.00009432746,0.00003684277,0.0001365975,0.0004057193,0.001865055,0.0006736097,0.9855943,0.002905118,0.007654974],"study_design_scores_gemma":[0.00005163902,0.0000156473,0.0002259821,0.00002697739,0.00005211049,0.00009976814,0.0001072541,0.01395106,0.001439711,0.9782653,0.005748075,0.00001651748],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2349539,0.0031939,0.530058,0.0150618,0.0008316818,0.0003092081,0.00287374,0.002541462,0.2101763],"genre_scores_gemma":[0.8691458,0.001218149,0.08785669,0.002042752,0.0007283866,0.000206143,0.003718403,0.0002989006,0.03478481],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009542574,"threshold_uncertainty_score":0.03192312,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0231464633254877,"score_gpt":0.2570697660865448,"score_spread":0.2339233027610571,"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."}}