{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003949509,0.0005078517,0.0005381564,0.001752968,0.00170431,0.004031176,0.0009171898,0.001056371,0.002864221],"category_scores_gemma":[0.003986291,0.0005840125,0.001221749,0.002052617,0.009369641,0.009408891,0.002452312,0.002551165,0.0004117676],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003659092,"about_ca_system_score_gemma":0.001263612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003345764,"about_ca_topic_score_gemma":0.001907446,"domain_scores_codex":[0.9975299,0.001167288,0.0001393805,0.0003108821,0.0005666869,0.0002859095],"domain_scores_gemma":[0.9977054,0.00166955,0.0001343927,0.0001869128,0.0002416373,0.00006204269],"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.000004671137,0.000003492109,0.00004692548,0.00001486955,0.000002696685,0.00002930224,0.0002808666,0.0004136512,0.00008702501,0.9973036,0.0002633189,0.001549628],"study_design_scores_gemma":[0.000004123952,0.000005402536,0.0000686316,0.00001265822,0.000005781893,0.00003414697,0.0000587623,0.00304846,0.0002176208,0.9919192,0.004618329,0.000006754749],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07053382,0.008227628,0.7912324,0.008140467,0.0004744227,0.00007939988,0.0003513681,0.0006148751,0.1203456],"genre_scores_gemma":[0.8570534,0.002974717,0.1238409,0.001347166,0.0006220095,0.0001755608,0.0002119939,0.0001220543,0.01365228],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004031176,"threshold_uncertainty_score":0.02654862,"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."}}