{"id":"W2997463312","doi":"10.1017/s1471068421000089","title":"Exploring the Jungle of Intuitionistic Temporal Logics","year":2021,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Computer science; Soundness; Kripke semantics; Intuitionistic logic; Linear logic; Axiom; Interpretation (philosophy); Class (philosophy); Type theory; Theoretical computer science; Artificial intelligence; Intermediate logic; Mathematics; Description logic; Type (biology); Programming language","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.005181522,0.0005176875,0.0004729034,0.001987356,0.002076851,0.006376905,0.001305809,0.001537886,0.002715683],"category_scores_gemma":[0.005028492,0.0007117711,0.001096105,0.001266347,0.01062351,0.01087463,0.004121893,0.004162795,0.0003059626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002869611,"about_ca_system_score_gemma":0.001673949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002563739,"about_ca_topic_score_gemma":0.002595516,"domain_scores_codex":[0.9967197,0.001620356,0.0001844556,0.0003427704,0.0008056803,0.0003270758],"domain_scores_gemma":[0.995488,0.002773802,0.0003553478,0.0004508722,0.0006049187,0.0003272176],"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.000007528601,0.000009231468,0.00006850879,0.00001635197,0.000003264378,0.00003687266,0.0002684743,0.000812883,0.0001948478,0.99684,0.0001732183,0.001568843],"study_design_scores_gemma":[0.000005688393,0.000006374795,0.00002862357,0.00001655462,0.000003130567,0.00001791685,0.0000890536,0.006838443,0.0001464071,0.9911937,0.001648835,0.000005207985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09796761,0.004268873,0.8069733,0.01210423,0.0003947887,0.0001044721,0.000164502,0.0004152158,0.07760707],"genre_scores_gemma":[0.8557325,0.00139672,0.1383993,0.001036672,0.0002412815,0.00009138616,0.00009143428,0.0000643561,0.002946298],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006376905,"threshold_uncertainty_score":0.02740282,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09011873064827158,"score_gpt":0.3032837098513963,"score_spread":0.2131649792031247,"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."}}