{"id":"W2287742635","doi":"10.1007/s11225-015-9648-6","title":"Matching Topological and Frame Products of Modal Logics","year":2016,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"","keywords":"Cartesian product; Product (mathematics); Combinatorics; Physics; Topology (electrical circuits); Mathematics; 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.0003422115,0.0001657543,0.0002952916,0.00004480335,0.0001317625,0.00003850274,0.0005671856,0.0001038069,0.00002862183],"category_scores_gemma":[0.0002957123,0.0000843366,0.00004988989,0.0002089373,0.0002457131,0.0001847828,0.0006813188,0.0001068547,0.00004108832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002095572,"about_ca_system_score_gemma":0.00005138137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001075182,"about_ca_topic_score_gemma":0.000004384054,"domain_scores_codex":[0.9986494,0.00009167592,0.0002217622,0.0005104615,0.0001946275,0.0003321206],"domain_scores_gemma":[0.9990318,0.0002477869,0.0001126789,0.0004045911,0.0001176302,0.00008548516],"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.00001082124,0.0001509026,0.007626756,0.00001972982,0.00002400909,0.00002412589,0.001226578,0.000001632994,0.005102593,0.9719244,0.0004176533,0.0134708],"study_design_scores_gemma":[0.001335834,0.001325359,0.1704278,0.00008207392,0.000026419,0.0000859076,0.0002981785,0.00009554333,0.005533545,0.8109193,0.00913546,0.0007345313],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7757457,0.001786864,0.1599047,0.005214626,0.0007118815,0.0004149467,0.000006446552,0.0003417787,0.05587304],"genre_scores_gemma":[0.984431,0.0001881444,0.01479608,0.0001449877,0.0001193429,0.00001097801,2.617014e-7,0.00000452252,0.0003047356],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2086852,"threshold_uncertainty_score":0.3439147,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02234388495915967,"score_gpt":0.2438347671193651,"score_spread":0.2214908821602054,"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."}}