{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003333252,0.0005705055,0.0009130529,0.002892039,0.001876746,0.006623639,0.001950824,0.001789685,0.01184747],"category_scores_gemma":[0.01393228,0.0007673209,0.001270459,0.003222129,0.00285162,0.01642618,0.003434518,0.001913929,0.0009694392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002232982,"about_ca_system_score_gemma":0.001078534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002297511,"about_ca_topic_score_gemma":0.001938699,"domain_scores_codex":[0.997475,0.0007808014,0.000215553,0.0005082165,0.0006497588,0.000370733],"domain_scores_gemma":[0.9934682,0.003189118,0.0007994521,0.001094056,0.0009845272,0.0004646684],"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.0001112638,0.00003200836,0.0003217736,0.00003249324,0.00001287633,0.00004136766,0.000242745,0.001289062,0.0006346157,0.9876381,0.0005234823,0.009120218],"study_design_scores_gemma":[0.00002191362,0.0000303386,0.0001716281,0.00001435552,0.00002347835,0.00004707438,0.0001793858,0.007254689,0.001090756,0.9884484,0.002705681,0.00001232586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3019122,0.001051306,0.6463995,0.001496037,0.0001870927,0.0001292264,0.0007901059,0.0007920829,0.04724247],"genre_scores_gemma":[0.9007405,0.0005623306,0.08600013,0.000225448,0.000152172,0.0001176435,0.001061575,0.0002289708,0.01091118],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01184747,"threshold_uncertainty_score":0.03963375,"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."}}