New: Think Tank Rankings 2025
Field of Research: Philosophy & Religion » 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
Ethics
History & Philosophy of Science
Logic
Medical Ethics
Medieval & Renaissance Studies
Philosophy
Religion

Logic

Latest Papers
(Limited to the last 10 days and a maximum of 250 papers)
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.41605806350708