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: 4
The transcendence degree of the reals over certain set-theoretical subfields
Journal of Symbolic Logic 2025-03-08
Altmetric Attention Score: 4
Cut-free sequent calculi for the provability logic D
Review of Symbolic Logic 2025-03-02
Altmetric Attention Score: 3
A NOTE ON THE THEORY OF WELL ORDERS
Bulletin of Symbolic Logic 2025-03-05
Altmetric Attention Score: 3
ITERATION THEOREMS FOR SUBVERSIONS OF FORCING CLASSES
Journal of Symbolic Logic 2025-03-22
Altmetric Attention Score: 3
FROM REAL ANALYSIS TO THE SORITES PARADOX VIA REVERSE MATHEMATICS
Review of Symbolic Logic 2025-03-16
» 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-02-01)
» See full journal ranking
Search Journals

Statistics
New papers in 'Logic' in the past 7 days:
Active Journals
(Past 7 days)
Latest Articles
28
Mar
2025
Saturation properties of ultrafilters in canonical inner models
Journal of Mathematical Logic
28
Mar
2025
Generics in invariant subsets of the group of order preserving permutations of Q
Annals of Pure and Applied Logic
27
Mar
2025
Variations on the Calculi $$C_n$$ of da Costa
Studia Logica
27
Mar
2025
COUNTEREXAMPLES IN EFFECTIVE TOPOLOGY
Journal of Symbolic Logic
25
Mar
2025
Consequence, Signification and Insolubles in Fourteenth-Century Logic Gold Open Access
Logica Universalis
» See more recent papers
Ad
1.034989118576