New: Think Tank Rankings 2025
Field of Research: Computer Science » Category: Logic
Agricultural Sciences
Arts & Humanities
Biology & Biochemistry
Chemistry
Clinical Medicine
Computer Science
Economics & Business
Engineering
Environment and Ecology
Geosciences
History & Archaeology
Literature & Language
Materials Science
Mathematics
Multidisciplinary
Philosophy & Religion
Physics
Plant & Animal Science
Psychiatry and Psychology
Social Sciences
Visual & Performing Arts
Automation & Control Systems
Computer Science, Artificial Intelligence
Computer Science, Cybernetics
Computer Science, Hardware & Architecture
Computer Science, Information Systems
Computer Science, Interdisciplinary Applications
Computer Science, Software Engineering
Computer Science, Theory & Methods
Information Science & Library Science
Logic
Mathematical & Computational Biology
Medical Informatics
Radiology, Nuclear Medicine & Medical Imaging
Robotics

Logic

Trending Papers
(Powered by Altmetrics)
7 days 14 days 30 days
Altmetric Attention Score: 2
REVERSE MATHEMATICS OF A UNIFORM KRUSKAL-FRIEDMAN THEOREM
Journal of Symbolic Logic 2025-08-19
Altmetric Attention Score: 1
A non-computable c.e. closed subset of [0,1]
Journal of Logic and Computation 2025-08-16
Altmetric Attention Score: 1
Counterpart-based Quantified Temporal Logics
Journal of Logical and Algebraic Methods in Programming 2025-08-19
Altmetric Attention Score: 1
Lyndon interpolation property for extensions of S4 and intermediate propositional logics
Journal of Symbolic Logic 2025-08-19
» See top-10
Journals
Sort by:
Rank Journal TQCC
1 Theory and Practice of Logic Programming 3
2 ACM Transactions on Computational Logic 2
- Journal of Logical and Algebraic Methods in Programming 2
- Journal of Logic Language and Information 2
- Logica Universalis 2
(Based on 4-year data; last update: 2025-08-01)
» See full journal ranking
Search Journals

Statistics
New papers in 'Logic' in the past 7 days:
Active Journals
(Past 7 days)
Latest Articles
20
Aug
2025
New Essays on Aristotle’s Organon
History and Philosophy of Logic
20
Aug
2025
Proof-theoretic Semantics for the Logic of Bunched Implications Gold Open Access
Studia Logica
19
Aug
2025
BETWEEN PROOF CONSTRUCTION AND SAT-SOLVING
Journal of Symbolic Logic
19
Aug
2025
Lyndon interpolation property for extensions of S4 and intermediate propositional logics
Journal of Symbolic Logic
19
Aug
2025
REVERSE MATHEMATICS OF A UNIFORM KRUSKAL-FRIEDMAN THEOREM
Journal of Symbolic Logic
» See more recent papers
Ad
0.047207117080688