Journal of Symbolic Logic

The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.

Beginning with the 2014 subscription year, electronic access to the full-text of current issues of the Journal of Symbolic Logic (JSL) is only available by electronic subscription through Cambridge University Press.

Top downloads over the last seven days

Hierarchies of forcing axioms IItay Neeman and Ernest SchimmerlingVolume 73, Issue 1 (2008)
The ground axiomJonas ReitzVolume 72, Issue 4 (2007)
Constructive interpolation in hybrid logicPatrick Blackburn and Maarten MarxVolume 68, Issue 2 (2003)
Lowness and Π₂⁰ nullsetsRod Downey, Andre Nies, Rebecca Weber, and Liang YuVolume 71, Issue 3 (2006)
Non-branching degrees in the Medvedev lattice of Π⁰₁ classesChristopher P. AlfeldVolume 72, Issue 1 (2007)
  • ISSN: 0022-4812 (print), 1943-5886 (electronic)
  • Publisher: Association for Symbolic Logic
  • Discipline(s): Logic
  • Full text available in Euclid: 1936--2013
  • Access: By subscription only
  • Euclid URL: