{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003264478,0.0001479707,0.0002677579,0.00004357074,0.0001234455,0.00006815492,0.001023894,0.00007777053,0.0002887405],"category_scores_gemma":[0.0002545648,0.0001000855,0.00008512771,0.0003233537,0.0001437458,0.0003634421,0.0004187195,0.0001054534,0.0004312046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003005708,"about_ca_system_score_gemma":0.00006912304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000985493,"about_ca_topic_score_gemma":0.00003222312,"domain_scores_codex":[0.9986637,0.0001197301,0.0002459978,0.0004499312,0.0002065912,0.0003140565],"domain_scores_gemma":[0.9986471,0.0001541092,0.0001057579,0.0007372801,0.0002213813,0.0001343679],"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.000009903263,0.001379618,0.04459504,0.00004322339,0.00005722785,0.00002313724,0.002393513,0.00003627557,0.001931238,0.8886303,0.004688737,0.05621182],"study_design_scores_gemma":[0.0005689414,0.001007375,0.7052867,0.00001129962,0.00001337544,0.00001230288,0.0001791395,0.002555564,0.001286344,0.2846088,0.004044729,0.0004254744],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5469527,0.0005957338,0.05541431,0.0006003716,0.0006745365,0.000796745,0.000003129637,0.0004055424,0.394557],"genre_scores_gemma":[0.9789577,0.00001488421,0.02051632,0.0001849155,0.00006773774,0.00004763019,0.000001085763,0.000003930721,0.0002058084],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6606917,"threshold_uncertainty_score":0.5542406,"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."}}