Journal of Symbolic Logic
Journal of Symbolic Logic is a journal indexed in SJR in Philosophy and Logic with an H index of 49. It has a price of 1626,56 €. It has an SJR impact factor of 0,831 and it has a best quartile of Q1. It is published in English. It has an SJR impact factor of 0,831.
Metrics
Scimago and CountryOfPapers database fields
SJR Impact
0,831
H-index
49
Docs (year)
123
Docs 3y
256
Total refs
3192
Cites 3y
181
Citable 3y
255
Cites/Doc 2y
0.66
Ref/Doc
25.95
Immediate OA
1626,56 €
Embargoed OA
NPD
Non OA / Submission
0 €
Name good journals. Call out predatory ones.
Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.
Researcher reviews
Best articles by citations
Benign cost functions and lowness properties
View moreYoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), p. 311.
View moreE. G. K. Lopez-Escobar. On defining well-orderings. Fundamenta mathematicae, vol. 59 (1966), pp. 13-21. - E. G. K. Lopez-Escobar. An addition to "On defining well-orderings."Fundamenta mathematicae, vol. 59 (1966), pp. 299-300.
View moreDouble-exponential inseparability of Robinson subsystem Q+
View moreDecidability of Definability
View moreCorrection to A note on the Entscheidungsproblem
View moreConstructively accessible ordinal numbers
View moreConstructive set theory
View moreComputability of Fra?Øsse limits
View moreComplex tilings
View moreCompleteness in the theory of types
View moreCoding true arithmetic in the Medvedev and Muchnik degrees
View moreCardinal characteristics on graphs
View moreA direct proof of the finite developments theorem
View moreAXIOMATIZATION OF PROVABLE n-PROVABILITY
View moreAnn Yasuhara. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 167-171.
View moreAn informal exposition of proofs of Godel's theorems and Church's theorem
View moreAn axiomatization of full Computation Tree Logic
View moreAn algebraic study of tense logics with linear time
View moreAn algebraic study of Diodorean modal systems
View moreA theorem on partial conservativity in arithmetic
View moreA Proposal for a Restriction on the Means of Expression in the Predicate Calculus.
View moreA P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS
View moreA note concerning the paradoxes of strict implication and Lewis's system SI
View more