{"id":"W1966325497","doi":"10.1023/a:1026520223346","title":"Remarks on the Modal Logic of Henry Bradford Smith","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Modal logic; Possible world; Modality (human–computer interaction); Modal; Philosophy; Epistemology; S5; Beneficiary; Philosophical logic; Accessibility relation; Computer science; Artificial intelligence; Law; Political science","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.001056048,0.0002246206,0.000470633,0.0001237946,0.0001467495,0.00007396998,0.001741484,0.0001740968,0.0004200754],"category_scores_gemma":[0.0003208238,0.0001158947,0.0003789189,0.0004075618,0.0002218837,0.0002578365,0.0001337836,0.0007812716,0.00009816483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005696659,"about_ca_system_score_gemma":0.0001281195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002040948,"about_ca_topic_score_gemma":4.846629e-7,"domain_scores_codex":[0.9977569,0.0002923814,0.0006864945,0.0002648678,0.0006602311,0.0003391246],"domain_scores_gemma":[0.9980465,0.0005432595,0.0004517814,0.0005412847,0.0002225301,0.0001946064],"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.0001433116,0.000460107,0.0001919001,0.00001751387,0.0000537635,0.0001796873,0.0001978728,0.000373736,0.0002204945,0.9853902,0.001445558,0.01132586],"study_design_scores_gemma":[0.0005851638,0.001694864,0.003177065,0.00009570477,0.00002288216,0.0004018722,0.000009297148,0.002923344,0.0002972595,0.9884424,0.002164472,0.0001857195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.282191,0.003850107,0.04320836,0.2106314,0.001765905,0.0006146901,0.000009051967,0.0001652553,0.4575642],"genre_scores_gemma":[0.9930697,0.0001941535,0.003170373,0.002553084,0.0007693661,0.000001817274,2.545366e-7,0.000009510494,0.0002317354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7108787,"threshold_uncertainty_score":0.4726048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03128535650661957,"score_gpt":0.2574964087609861,"score_spread":0.2262110522543665,"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."}}