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)
14
May
2026
Intuitionistic monotone modal logic via translation Gold Open Access
Journal of Logic and Computation
14
May
2026
Binary choice games and arithmetical comprehension Gold Open Access
Archive for Mathematical Logic
14
May
2026
There may be exactly n Q-points
Archive for Mathematical Logic
14
May
2026
Game-theoretic variants of splitting number
Archive for Mathematical Logic
14
May
2026
Modal Embedding of the Logic of Analytic Implication Gold Open Access
Journal of Logic Language and Information
14
May
2026
Vectors for Topics: The use of Topical Vector Spaces in Epistemic Logics Gold Open Access
Journal of Logic Language and Information
13
May
2026
Semantics for McCall's CC1
History and Philosophy of Logic
12
May
2026
On Nondefinability of Interior-Connectedness via the Contact Relation
Notre Dame Journal of Formal Logic
12
May
2026
Reductions of Well-Ordering Principles to Combinatorial Theorems
Notre Dame Journal of Formal Logic
12
May
2026
Two Uncountable Coloring Results on Semigroups
Notre Dame Journal of Formal Logic
12
May
2026
Varieties of Modal Algebras Without the Congruence Extension Property
Notre Dame Journal of Formal Logic
12
May
2026
Epistemic Counterpossibilism
Notre Dame Journal of Formal Logic
12
May
2026
Model Theory of Homogeneous D-Sets
Notre Dame Journal of Formal Logic
12
May
2026
Boolean Completeness of Infinitary Logic with Arbitrary Signatures
Notre Dame Journal of Formal Logic
12
May
2026
CHAINS AND ANTICHAINS IN THE WEIHRAUCH LATTICE
Journal of Symbolic Logic
12
May
2026
Σ 1 -STATIONARY LOGIC AS AN ℵ 1 -ABSTRACT ELEMENTARY CLASS
Journal of Symbolic Logic
12
May
2026
REVERSE MATHEMATICS AND DIMENSION OF POSETS
Journal of Symbolic Logic
10
May
2026
The Modal Logic of Exact Equivalence
Review of Symbolic Logic
10
May
2026
Proof Mining and the Logical Strength of a Class of Implicit Fractional Boundary Value Problems
Mathematical Logic Quarterly
9
May
2026
Fibonacci-based Pascal-like matrices with double factorial binomial structure Gold Open Access
Logic Journal of the Igpl
8
May
2026
Correspondence of Contradictions in the Constructive Connexive Calculus C Gold Open Access
Archive for Mathematical Logic
8
May
2026
Reinhardt cardinals and eventually dominating functions
Archive for Mathematical Logic
7
May
2026
The distributional complexity of game trees over correlated distributions and independent distributions
Annals of Pure and Applied Logic
7
May
2026
A topos for extended Weihrauch degrees Gold Open Access
Annals of Pure and Applied Logic
7
May
2026
Borel complexity of modules Gold Open Access
Annals of Pure and Applied Logic
7
May
2026
Editorial Board
Annals of Pure and Applied Logic
7
May
2026
Non-deterministic algebraic rewriting as adjunction
Annals of Pure and Applied Logic
7
May
2026
Relative Consistency of a Finite Nonclassical Theory Incorporating ZF and Category Theory with ZF
Studia Logica
7
May
2026
A General Formalised Framework for Reasoning About Display Calculi Gold Open Access
Studia Logica
7
May
2026
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment Gold Open Access
Studia Logica
7
May
2026
Arithmetical Completeness for Some Extensions of the Pure Logic of Necessitation
Studia Logica
6
May
2026
ANTICHAIN OF ORDINALS IN INTUITIONISTIC SET THEORY
Journal of Symbolic Logic
5
May
2026
Revision Theory without ω -Inconsistency
Review of Symbolic Logic
4
May
2026
$\{log\}$ : From a Constraint Logic Programming Language to a Formal Verification Tool Gold Open Access
Theory and Practice of Logic Programming
4
May
2026
Correction to the following articles DOI jzae101-jzae112
Logic Journal of the Igpl
4
May
2026
The K ∞ homotopy λ-model Gold Open Access
Logic Journal of the Igpl
0.33181095123291