{"id":"W2735368507","doi":"","title":"Quantification And Predication In Modal Predicative Propositional Logic","year":2015,"lang":"fr","type":"article","venue":"Logique et analyse/Logique et analyse. Nouvelle série","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Trois-Rivières","funders":"","keywords":"Predicative expression; Propositional variable; S5; Modal logic; Intermediate logic; Dynamic logic (digital electronics); Propositional calculus; Tautology (logic); Well-formed formula; Intuitionistic logic; Predicate (mathematical logic); Predicate variable; Computer science; Linguistics; Modal; Mathematics; Sequent; Normal modal logic; Zeroth-order logic; Artificial intelligence; Multimodal logic; Description logic; Discrete mathematics; Philosophy; Programming language","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":["metaepi_narrow","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.008403062,0.0009881065,0.001286361,0.001081029,0.0003439495,0.0007094246,0.00157606,0.001366146,0.0002021611],"category_scores_gemma":[0.002861815,0.0009307372,0.0004204951,0.003004208,0.001067789,0.002164178,0.0008359909,0.001967635,0.0002708776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008599829,"about_ca_system_score_gemma":0.003761058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002756956,"about_ca_topic_score_gemma":0.008475613,"domain_scores_codex":[0.9885707,0.005035735,0.001717895,0.00231421,0.001150169,0.001211271],"domain_scores_gemma":[0.9938531,0.001075829,0.001230855,0.001441841,0.001511305,0.0008871077],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003477667,0.003137738,0.0886023,0.0003622596,0.0009149073,0.0003645839,0.03199851,0.01071018,0.001249176,0.8369658,0.01490334,0.01044344],"study_design_scores_gemma":[0.003862131,0.002335741,0.1425125,0.0007068138,0.0008620222,0.0003202223,0.007404222,0.5755337,0.003132141,0.2556659,0.004890144,0.002774435],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05248232,0.0114072,0.8600833,0.04364141,0.001211915,0.001848494,0.0001332451,0.0005048242,0.02868724],"genre_scores_gemma":[0.9519828,0.002846951,0.03627617,0.001659859,0.0004586349,0.0003071175,0.0005783237,0.00006593219,0.005824237],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8995004,"threshold_uncertainty_score":0.9999303,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05802983290494568,"score_gpt":0.3185953043427358,"score_spread":0.2605654714377901,"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."}}