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

Latest Papers
(Limited to the last 10 days and a maximum of 250 papers)
31
Oct
2025
A Proof-Theoretic Note on the Independence of Intuitionistic Connectives Gold Open Access
Studia Logica
31
Oct
2025
THE WEAKNESS OF FINDING DESCENDING SEQUENCES IN ILL-FOUNDED LINEAR ORDERS
Journal of Symbolic Logic
31
Oct
2025
A NON-UNIFORM VIEW OF CRAIG INTERPOLATION IN MODAL LOGICS WITH LINEAR FRAMES
Journal of Symbolic Logic
31
Oct
2025
EXTENDING THE BARMPALIAS – LEWIS-PYE LIMIT THEOREM TO ALL REALS
Journal of Symbolic Logic
29
Oct
2025
AGM Belief Revision, Semantically
ACM Transactions on Computational Logic
28
Oct
2025
Weak associative micanorm-based logics: [ 0, e ]-continuous ν -weak-as
Logic Journal of the Igpl
27
Oct
2025
Correction: Symétrons et K-boucles $$\omega$$-stables Gold Open Access
Archive for Mathematical Logic
27
Oct
2025
Belief Structures in the Realm of Belief Contraction
Journal of Logic Language and Information
26
Oct
2025
Countable Ramsey
Journal of Mathematical Logic
26
Oct
2025
Iterated club shooting and the stationary logic constructible model
Journal of Mathematical Logic
26
Oct
2025
Compatibility between modal operators in distributive modal logic
Annals of Pure and Applied Logic
26
Oct
2025
Some remarks on weak one-basedness Gold Open Access
Annals of Pure and Applied Logic
26
Oct
2025
Green points in the reals Gold Open Access
Annals of Pure and Applied Logic
25
Oct
2025
Class Theory in HYPE
Notre Dame Journal of Formal Logic
25
Oct
2025
Unified Natural Deduction for Logics of Strong Negation
Notre Dame Journal of Formal Logic
25
Oct
2025
Rough Approximate Subgroups
Notre Dame Journal of Formal Logic
25
Oct
2025
Computable Categoricity Relative to a C.E. Degree
Notre Dame Journal of Formal Logic
25
Oct
2025
Exponential Fields: Lack of Generic Derivations
Notre Dame Journal of Formal Logic
25
Oct
2025
Logics of False Belief and Reliable Belief
Notre Dame Journal of Formal Logic
25
Oct
2025
Asymptotic Classes of Trees and ℵ0-categoricity
Notre Dame Journal of Formal Logic
25
Oct
2025
WEAK A2 SPACES, THE KASTANAS GAME AND STRATEGICALLY RAMSEY SETS
Journal of Symbolic Logic
25
Oct
2025
A METRIC SET THEORY WITH A UNIVERSAL SET
Journal of Symbolic Logic
25
Oct
2025
SOME REMARKS ON KIM-DIVIDING IN NATP THEORIES
Journal of Symbolic Logic
23
Oct
2025
Intuitive Equilibriums in Games Like Traveler’s Dilemma
Logica Universalis
23
Oct
2025
A Hybrid Multi-Modal Logic for Context-Dependent Preferences
Logica Universalis
23
Oct
2025
What is Money?
Logica Universalis
23
Oct
2025
Intension and Dynamics: A Deductive Defense of Analogy
Logica Universalis
23
Oct
2025
Correspondence Problems for Classes of Postlinear Orders
Logica Universalis
23
Oct
2025
On minimal pairs of quasi-degrees
Logic Journal of the Igpl
0.08127498626709