{"id":"W2773658508","doi":"10.1007/s11225-017-9775-3","title":"Topological-Frame Products of Modal Logics","year":2017,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"","keywords":"Star product; Product (mathematics); Mathematics; Product topology; Combinatorics; Discrete mathematics; Topology (electrical circuits); Geometry","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.0004446901,0.0002134001,0.0004039144,0.00004458639,0.0005942712,0.0001735092,0.002511887,0.0001386634,0.00004563164],"category_scores_gemma":[0.001330534,0.0001412838,0.0001116579,0.0001503237,0.0004390633,0.00029379,0.001428843,0.0002040481,0.0001360619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002657375,"about_ca_system_score_gemma":0.0001026355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003017162,"about_ca_topic_score_gemma":0.00001042639,"domain_scores_codex":[0.9983013,0.0000803973,0.0002741559,0.0006228257,0.0002810518,0.0004402246],"domain_scores_gemma":[0.9975863,0.0001075259,0.0003367341,0.001609857,0.0002579992,0.0001015934],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00001288399,0.0003905646,0.01370892,0.00002870376,0.0000439501,0.00005902804,0.0008165285,0.00001009296,0.0009819922,0.9714975,0.002975319,0.009474489],"study_design_scores_gemma":[0.00165574,0.001894315,0.5907181,0.00005538161,0.00005123745,0.00005585556,0.0001973862,0.001003969,0.008149086,0.3458782,0.0491714,0.001169338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1705137,0.001764915,0.03888986,0.007114208,0.002615433,0.0008112223,0.000009975189,0.0005040942,0.7777765],"genre_scores_gemma":[0.9845346,0.0001252914,0.0137929,0.0001564946,0.0002256166,0.00001963546,9.949371e-7,0.000005778017,0.001138642],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8140209,"threshold_uncertainty_score":0.5761387,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04643960969552468,"score_gpt":0.2881895101291418,"score_spread":0.2417499004336172,"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."}}