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
Normalisation for Positive Free Logics without and with Definite Descriptions
Review of Symbolic Logic 2026-05-27
Altmetric Attention Score: 1
Gold Open Access Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Theory and Practice of Logic Programming 2026-06-12
Altmetric Attention Score: 1
Gold Open Access On Many-logic modal structures and information-based logics
Journal of Logic Language and Information 2026-06-11
Altmetric Attention Score: 1
Gold Open Access Relevant Deontic Logic Reconsidered
Journal of Logic Language and Information 2026-06-05
» See top-10
Journals
Sort by:
Rank Journal Papers
1 Journal of Symbolic Logic 399
2 Annals of Pure and Applied Logic 359
3 Journal of Logic and Computation 339
4 Logic Journal of the Igpl 320
5 Studia Logica 240
(Based on 4-year data; last update: 2026-06-01)
» See full journal ranking
Search Journals

Ad
Statistics
New papers in 'Logic' in the past 7 days:
Active Journals
(Past 7 days)
Latest Articles
24
Jun
2026
Is Institution Theory ‘Buddhist’?
Logica Universalis
24
Jun
2026
Formalising Asynchronous Session Subtyping Gold Open Access
ACM Transactions on Computational Logic
24
Jun
2026
Foundations for an Abstract Proof Theory in the Context of Horn Rules
ACM Transactions on Computational Logic
24
Jun
2026
Reactive Model-Based Testing of Cyclic Systems Gold Open Access
ACM Transactions on Computational Logic
23
Jun
2026
Suprastructural logics
Logic Journal of the Igpl
» See more recent papers
Ad
0.96113896369934