{"id":"W1993088316","doi":"","title":"A Multi-modal Logic for Disagreement and Exhaustiveness","year":2007,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"","keywords":"Rough set; Disjoint sets; Modal; Modal logic; Mathematics; Representation theorem; Representation (politics); Complementarity (molecular biology); Set (abstract data type); Binary relation; Computer science; Algebra over a field; Theoretical computer science; Discrete mathematics; Pure mathematics; Artificial intelligence","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.003920004,0.0004950914,0.0006540085,0.002410984,0.002948105,0.003516765,0.001332808,0.001159868,0.003745025],"category_scores_gemma":[0.006023702,0.0004512797,0.00154983,0.002347812,0.005227368,0.009866235,0.004874242,0.003330854,0.0004269443],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002653042,"about_ca_system_score_gemma":0.001337172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001945554,"about_ca_topic_score_gemma":0.001436445,"domain_scores_codex":[0.9964345,0.001218443,0.0003458726,0.0007186427,0.001029459,0.0002530265],"domain_scores_gemma":[0.9973506,0.00155,0.000203326,0.0002880265,0.0004630961,0.0001449722],"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.00001677784,0.000009474789,0.00007706876,0.00004334572,0.000007695276,0.00009432924,0.0006605961,0.0008511366,0.0004099457,0.9909559,0.0005441163,0.006329642],"study_design_scores_gemma":[0.00001578824,0.00001600196,0.0001185784,0.00003563425,0.00001981821,0.0001395407,0.0002282645,0.01165427,0.0007723841,0.9777824,0.009196585,0.00002079509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02678416,0.0009201072,0.9167218,0.002469734,0.0001981405,0.000138967,0.0003856825,0.0002910114,0.05209036],"genre_scores_gemma":[0.6454234,0.0005966244,0.3433321,0.001036345,0.0003064986,0.0003437423,0.0004662816,0.00006952616,0.00842554],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003920004,"threshold_uncertainty_score":0.02073121,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0420048407668482,"score_gpt":0.3045567436534031,"score_spread":0.2625519028865549,"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."}}