{"id":"W4414627526","doi":"","title":"Reframing Kripke: Resolution Matrix Semantics with Indeterminate Truth Values","year":2025,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"ATCO (Canada)","funders":"","keywords":"Normal modal logic; Deontic logic; Indeterminate; Modal logic; Soundness; Completeness (order theory); Accessibility relation; Modal; Semantics (computer science); Interpretation (philosophy)","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.003958939,0.001197238,0.001005547,0.002426968,0.002350331,0.006874252,0.003086451,0.001874281,0.01036571],"category_scores_gemma":[0.009404159,0.0009582571,0.002603605,0.0022775,0.006719296,0.01465607,0.006583435,0.00528921,0.002708516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002635139,"about_ca_system_score_gemma":0.00223727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002784843,"about_ca_topic_score_gemma":0.003203951,"domain_scores_codex":[0.9960771,0.001376808,0.000351424,0.000855313,0.001016998,0.0003222866],"domain_scores_gemma":[0.996951,0.001224915,0.0002213537,0.000814055,0.0006605477,0.0001280459],"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.0000127485,0.000005393437,0.00002292407,0.00003766363,0.000008626008,0.00004779983,0.0002239866,0.001531359,0.0004058344,0.9921893,0.0006495914,0.00486473],"study_design_scores_gemma":[0.00001139259,0.000008524626,0.00001882445,0.00003369237,0.00001182892,0.00006465607,0.0001025495,0.01175412,0.001386806,0.9734868,0.01310077,0.00002014475],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004027008,0.0003987951,0.9761624,0.0009199316,0.0001793989,0.00007148324,0.0002262345,0.0008235573,0.01719116],"genre_scores_gemma":[0.3745379,0.001109639,0.606933,0.0009838475,0.0003396636,0.0004442807,0.0007473048,0.0008211164,0.01408316],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01036571,"threshold_uncertainty_score":0.03467679,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008923642252268563,"score_gpt":0.2396529136521004,"score_spread":0.2307292713998318,"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."}}