SCIE
JOURNAL OF SYMBOLIC LOGIC
Publisher information is not available.
Identifiers, indexing coverage, and citation metrics for the academic journal JOURNAL OF SYMBOLIC LOGIC. Identifiers: ISSN 0022-4812, eISSN 1943-5886. Indexed in SCIE. Subject areas: LOGIC, MATHEMATICS. tlooto lists 13,403 papers from this journal.
CiteScore
-
Scopus citation metric
SJR
-
SCImago rank
SNIP
-
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 0022-4812
- eISSN
- 1943-5886
- Abbreviation
- -
- Publisher
- -
- Country
- -
Web of Science categories
SCIELOGIC, MATHEMATICS
Scopus ASJC categories
No ASJC category data available.
Keywords
Mathematics | Logic
Papers in this journal
Recent papers
- THE EXPRESSIVENESS AND COMPLEXITY LANDSCAPE FOR EVALUATING FORMULAS OVER EMBEDDED FINITE MODELS
2026
- NOWHERE TRIVIAL AUTOMORPHISMS OF
$P(\lambda)/[\lambda]^{\lt \lambda}$
, FOR
$\lambda$
INACCESSIBLE.
2026
- TWO
$\mathfrak{b}$
OR NOT TWO
$\mathfrak{b}$
?
2026
- QUANTUM MEASUREMENTS AND ALGORITHMIC RANDOMNESS
2026
- CHARACTERISING SJT REDUCIBILITY
2026
Most cited papers
- On Computable Numbers, with an Application to the Entscheidungsproblem.
1937 · 8,442 citations
- On the logic of theory change: Partial meet contraction and revision functions
1985 · 3,474 citations
- Situations and Attitudes.
1986 · 2,892 citations
- A formulation of the simple theory of types
1940 · 2,348 citations
- A completeness theorem in modal logic
1959 · 949 citations