{"id":"W2893109491","doi":"10.1017/s1755020318000229","title":"COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS","year":2018,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Propositional variable; Axiom; Intermediate logic; Intuitionistic logic; Well-formed formula; Modal logic; Propositional calculus; Mathematics; S5; Autoepistemic logic; Zeroth-order logic; Semantics (computer science); Discrete mathematics; Dynamic logic (digital electronics); T-norm fuzzy logics; Normal modal logic; Modal; Multimodal logic; Computer science; Theoretical computer science; Description logic; Artificial intelligence; Programming language; Fuzzy logic","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":[],"consensus_categories":[],"category_scores_codex":[0.0007736663,0.0001156221,0.0004394136,0.00004020385,0.00005994636,0.00001193164,0.0006258109,0.00004833571,0.0001649591],"category_scores_gemma":[0.0001199727,0.0000616914,0.00005908898,0.0003841433,0.0004922644,0.00007555421,0.0003015518,0.00009702515,0.00001984665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001398185,"about_ca_system_score_gemma":0.00007902194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000777576,"about_ca_topic_score_gemma":0.00001113416,"domain_scores_codex":[0.9988766,0.0001957764,0.0003755209,0.0002066425,0.0001645951,0.0001808911],"domain_scores_gemma":[0.9990752,0.0001453744,0.0001815589,0.0003638234,0.000197914,0.00003614423],"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.000009533384,0.000220157,0.002989182,0.003747869,0.00002801676,0.000006825027,0.0009023654,9.001876e-7,0.0008091387,0.9798916,0.0004497145,0.01094471],"study_design_scores_gemma":[0.002085839,0.001953336,0.3455562,0.01337345,0.0001641568,0.0008696846,0.0001693439,0.006344531,0.005131932,0.6060305,0.01711153,0.001209441],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5710834,0.2782871,0.03817682,0.01438402,0.0008388015,0.002702991,0.00002268995,0.0001628413,0.09434137],"genre_scores_gemma":[0.9878972,0.00732458,0.003509941,0.001089593,0.00007098736,0.00001176007,0.000001663201,0.000003534061,0.00009077069],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4168138,"threshold_uncertainty_score":0.2515702,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02565975656490084,"score_gpt":0.2890374436040479,"score_spread":0.263377687039147,"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."}}