New: Think Tank Rankings 2025
Field of Research: Mathematics » 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
Computer Science, Artificial Intelligence
Computer Science, Theory & Methods
Logic
Mathematical & Computational Biology
Mathematics
Mathematics, Applied
Mathematics, Interdisciplinary Applications
Operations Research & Management Science
Physics, Mathematical
Psychology, Mathematical
Social Sciences, Mathematical Methods
Statistics & Probability

Logic

Trending Papers
(Powered by Altmetrics)
7 days 14 days 30 days
Altmetric Attention Score: 3
ON IDEALS RELATED TO LAVER AND MILLER TREES
Journal of Symbolic Logic 2025-08-30
Altmetric Attention Score: 3
WHEN BI-INTERPRETABILITY IMPLIES SYNONYMY
Review of Symbolic Logic 2025-09-03
Altmetric Attention Score: 3
ABSTRACTION PRINCIPLES AND THE SIZE OF REALITY
Review of Symbolic Logic 2025-08-23
Altmetric Attention Score: 2
Gold Open Access Towards Constraint Temporal Answer Set Programming
Theory and Practice of Logic Programming 2025-08-28
Altmetric Attention Score: 2
BLOK-ESAKIA THEOREMS VIA STABLE CANONICAL RULES
Journal of Symbolic Logic 2025-08-30
» 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-09-01)
» See full journal ranking
Search Journals

Statistics
New papers in 'Logic' in the past 7 days:
Active Journals
(Past 7 days)
Latest Articles
14
Sep
2025
Application Placement with Constraint Relaxation Gold Open Access
Theory and Practice of Logic Programming
14
Sep
2025
Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers Gold Open Access
Theory and Practice of Logic Programming
14
Sep
2025
On Systematic Construction of Correct Logic Programs Gold Open Access
Theory and Practice of Logic Programming
14
Sep
2025
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs Gold Open Access
Theory and Practice of Logic Programming
14
Sep
2025
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels Gold Open Access
Theory and Practice of Logic Programming
» See more recent papers
Ad
0.029017925262451