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: 6
Gold Open Access Propositions with Negative Predicates in Arabic Logic
History and Philosophy of Logic 2024-11-14
Altmetric Attention Score: 3
AXIOMATIZATION AND FORCING IN SET THEORY WITH URELEMENTS
Journal of Symbolic Logic 2024-11-13
Altmetric Attention Score: 2
Gold Open Access The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation
Studia Logica 2024-11-09
Altmetric Attention Score: 2
Extracting efficient exact real number computation from proofs in constructive type theory
Journal of Logic and Computation 2024-10-22
Altmetric Attention Score: 1
Gold Open Access Frege, Hirzel, and Stoic logic
History and Philosophy of Logic 2024-10-26
» See top-10
Journals
Sort by:
Rank Journal TQCC
1 Theory and Practice of Logic Programming 3
2 Journal of Logic and Computation 2
- Journal of Mathematical Logic 2
- Logica Universalis 2
- ACM Transactions on Computational Logic 2
(Based on 4-year data; last update: 2024-11-01)
» See full journal ranking
Search Journals

Statistics
New papers in 'Logic' in the past 7 days:
Active Journals
(Past 7 days)
Latest Articles
21
Nov
2024
Model Checking Strategic Abilities in Information-sharing Systems
ACM Transactions on Computational Logic
20
Nov
2024
Quantum modal logic
Logic Journal of the Igpl
20
Nov
2024
On structural proof theory of the modal logic K+ extended with infinitary derivations
Logic Journal of the Igpl
20
Nov
2024
Uniform lyndon interpolation for basic non-normal modal and conditional logics Gold Open Access
Journal of Logic and Computation
19
Nov
2024
The Weakness of the Erdos-Moser Theorem under Arithmetic Reductions
Journal of Mathematical Logic
» See more recent papers
Ad
0.50355005264282