{"journal":{"journal_id":11395,"issn":"0955-792X","eissn":"1465-363X","name_en":"JOURNAL OF LOGIC AND COMPUTATION","name_short":"J LOGIC COMPUT","name_zh":null,"first_year":2019,"last_year":2026,"n_years":6,"latest_if":0.7,"latest_if_year":2025,"first_partition":4,"last_partition":3,"trend":"up","xr_partition":4,"xr_year":2026,"has_warning":false,"has_risk":false,"legacy_only":false,"jcr_quartile":2,"jcr_year":2026,"jcr_subjects":2},"current":{"journal_id":11395,"year":2026,"source":"xinrui","partition":4,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":null,"wos_status":"normal","tags":[],"seq":546,"macro":"数学"},"meso":[],"history":[{"year":2025,"partition":3,"is_top":false,"macro":"数学"},{"year":2023,"partition":4,"is_top":false,"macro":"数学"},{"year":2022,"partition":4,"is_top":false,"macro":"计算机科学"},{"year":2021,"partition":4,"is_top":false,"macro":"计算机科学"},{"year":2020,"partition":3,"is_top":false,"macro":"计算机科学"},{"year":2019,"partition":4,"is_top":false,"macro":"计算机科学"}],"if_single":[{"if_year":2025,"value":0.7,"edition":2026},{"if_year":2020,"value":0.416,"edition":2021},{"if_year":2019,"value":0.803,"edition":2021},{"if_year":2018,"value":0.509,"edition":2021},{"if_year":2017,"value":0.74,"edition":2020},{"if_year":2016,"value":0.909,"edition":2019},{"if_year":2015,"value":0.585,"edition":2018}],"if_editions":[{"year":2025,"if_avg3":null,"citations":994.0},{"year":2021,"if_avg3":0.576,"citations":1398.0},{"year":2020,"if_avg3":0.684,"citations":1394.0},{"year":2019,"if_avg3":0.719,"citations":1392.0},{"year":2018,"if_avg3":0.745,"citations":1564.0}],"warnings":[],"aliases":[{"alias":"J LOGIC COMPUT","alias_type":"short","src":"legacy"},{"alias":"JOURNAL OF LOGIC AND COMPUTATION","alias_type":"primary","src":"upgraded"}],"similar":[],"jcr":[{"subject":"LOGIC","quartile":2,"citations":994,"index_version":"SCIE","if_value":0.7,"if_year":2025,"year":2026},{"subject":"COMPUTER SCIENCE, THEORY & METHODS","quartile":4,"citations":994,"index_version":"SCIE","if_value":0.7,"if_year":2025,"year":2026}],"jcr_years":[2026],"jcr_year":2026,"plan":{"cas":[2025,"cas"],"xinrui":[2026,"xinrui"],"jcr":2026,"cas_years":[2025,2023,2022,2021,2020,2019],"xinrui_years":[2026]},"plan_rows":{"cas":{"journal_id":11395,"year":2025,"source":"cas","partition":3,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":"SCIE","wos_status":"normal","tags":[],"seq":null,"macro":"数学"},"xinrui":{"journal_id":11395,"year":2026,"source":"xinrui","partition":4,"is_top":false,"is_review":false,"oaj":false,"open_access":false,"wos_index":null,"wos_status":"normal","tags":[],"seq":546,"macro":"数学"}},"mode":"latest","year":2026,"source":"xinrui","editions":[{"year":2026,"source":"xinrui","partition":4,"seq":546,"macro":"数学"},{"year":2025,"source":"cas","partition":3,"seq":null,"macro":"数学"},{"year":2023,"source":"cas","partition":4,"seq":null,"macro":"数学"},{"year":2022,"source":"cas","partition":4,"seq":null,"macro":"计算机科学"},{"year":2021,"source":"cas","partition":4,"seq":null,"macro":"计算机科学"},{"year":2020,"source":"cas","partition":3,"seq":null,"macro":"计算机科学"},{"year":2019,"source":"cas","partition":4,"seq":null,"macro":"计算机科学"}],"submission":{"entry":{"homepage_url":"http://logcom.oxfordjournals.org/","submission_url":null,"submission_kind":null,"author_guide_url":null,"confidence":null,"checked_at":null},"cost":{"is_oa":"NO","required":null,"apc_min":null,"apc_max":null,"currency":null,"usd_est":4533.0,"note":null,"waiver":null,"other_charges":null},"timeline":{"first_decision_days":63,"to_accept_days":null,"online_weeks":null,"text":"一审约 63 天","kind":"aggregate","acceptance_rate_pct":null},"publishing":{"publisher":"Oxford University Press","country":"United Kingdom","language":null,"issn_print":null,"issn_electronic":null},"keywords":{"topics":"Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems; Semantic Web and Ontologies; Multi-Agent Systems and Negotiation; Formal Methods in Verification; Computability, Logic, AI Algorithms; semigroups and automata theory; Philosophy and Theoretical Science; Rough Sets and Fuzzy Logic; Advanced Topology and Set Theory; Constraint Satisfaction and Optimization; Bayesian Modeling and Causal Inference; Natural Language Processing Techniques; Advanced Database Systems and Queries; AI-based Problem Solving and Planning; Access Control and Trust; Diverse Scientific and Economic Studies; Game Theory and Applications; Human auditory perception and evaluation; Game Theory and Voting Systems; Topic Modeling; Model-Driven Software Engineering Techniques; Fuzzy and Soft Set Theory; Advanced Graph Theory Research","scope_text":null,"article_types":null},"completeness":68,"updated_at":"2026-09-16T14:23:29.382130+00:00"}}