New: Think Tank Rankings 2025
Field of Research: Multidisciplinary » 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
Chemistry, Multidisciplinary
Computer Science, Information Systems
Computer Science, Interdisciplinary Applications
Cultural Studies
Demography
Education & Educational Research
Education, Scientific Disciplines
Engineering, Multidisciplinary
Environmental Sciences
Environmental Studies
Ergonomics
Family Studies
Geography, Physical
Geosciences, Multidisciplinary
Green & Sustainable Science & Technology
History & Philosophy of Science
History of Social Sciences
Imaging Science & Photographic Technology
Information Science & Library Science
Law
Limnology
Linguistics
Logic
Materials Science, Multidisciplinary
Mathematics, Interdisciplinary Applications
Microscopy
Multidisciplinary Sciences
Nanoscience & Nanotechnology
Physics, Applied
Physics, Multidisciplinary
Psychology, Multidisciplinary
Social Issues
Social Sciences, Biomedical
Social Sciences, Interdisciplinary
Social Sciences, Mathematical Methods

Logic

Latest Papers
(Limited to the last 10 days and a maximum of 250 papers)
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
19
Aug
2025
Mixed identities for oligomorphic automorphism groups
Journal of Symbolic Logic
19
Aug
2025
Counterpart-based Quantified Temporal Logics
Journal of Logical and Algebraic Methods in Programming
18
Aug
2025
MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS
Review of Symbolic Logic
17
Aug
2025
Money, Time, and Information: Inspirations from Gödel, Tarski, and Chaitin
Logica Universalis
16
Aug
2025
On Heyting algebras with negative tense operators II
Journal of Logic and Computation
16
Aug
2025
A non-computable c.e. closed subset of [0,1]
Journal of Logic and Computation
16
Aug
2025
The adjacent fragment and Quine’s limits of decision Gold Open Access
Journal of Logic and Computation
0.047665119171143