{"id":"W4386231691","doi":"10.1007/978-3-031-39784-4_9","title":"An Evidence Logic Perspective on Schotch-Jennings Forcing","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Doxastic logic; Forcing (mathematics); Epistemic modal logic; Modal logic; Modal operator; Operator (biology); Perspective (graphical); Semantics (computer science); Hypergraph; Computer science; Epistemology; Mathematics; Modal; Algorithm; Theoretical computer science; Discrete mathematics; Multimodal logic; Artificial intelligence; Description logic; 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","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.00174345,0.0008156525,0.000726656,0.001287969,0.000622168,0.001277465,0.006178409,0.0004776699,0.000023968],"category_scores_gemma":[0.0007387605,0.0006952263,0.0002322737,0.00127917,0.000850805,0.001597556,0.001509061,0.001502918,0.0004464918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001035691,"about_ca_system_score_gemma":0.0008190816,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009669889,"about_ca_topic_score_gemma":0.000162367,"domain_scores_codex":[0.9937785,0.00008689476,0.0005311402,0.003041497,0.001420771,0.001141157],"domain_scores_gemma":[0.9950013,0.001364395,0.0003869335,0.002238497,0.0006417899,0.0003670806],"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.000021387,0.00007106086,0.0001133429,0.0000531286,0.00002208181,0.0004333254,0.006501038,0.02672652,0.0003100224,0.7587711,0.00008565591,0.2068914],"study_design_scores_gemma":[0.0002536968,0.001049671,0.0003849259,0.001528256,0.00001276628,0.00007588049,0.000003254944,0.3654046,0.0008726864,0.628997,0.0002751709,0.001142069],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001161996,0.0006480328,0.9777384,0.001185091,0.002776335,0.000499518,0.00000252712,0.0007366014,0.01629728],"genre_scores_gemma":[0.7486246,0.0003187609,0.2384146,0.005472645,0.002509675,0.00005061506,0.00000587341,0.0001747924,0.004428428],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7485085,"threshold_uncertainty_score":0.9997593,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04238636107239058,"score_gpt":0.3013732260256221,"score_spread":0.2589868649532315,"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."}}