Журнал «The Journal of Symbolic Logic», который поступает в Институт математики и механики публикует исследовательские работы высокого качества, относящиеся к математической логике и её приложениям. Представленные к публикации в журнале работы должны быть новыми и представлять интерес для широкой аудитории. Журнал принимает к публикации оригинальные и нигде не опубликованные статьи.
Статьи, опубликованные ранее в материалах конференции, также могут быть приняты в печать в полной версии, но при условии, что представленная статья будет представлена более широко, чем при публикации в материалах конференции. Для этого автор статьи при представлении статьи в журнал, должен объяснить, чем отличается нынешняя версия статьи от предыдущей.
Статьи должны быть подготовлены в соответствии с правилами статей, представленных в журнале. Окончательное решение о публикации выдается редакционной коллегией журнала.
Журнал был основан в 1936 году и издается ежеквартально. 81-й том, который будет опубликован в 2017 году, состоит из 1580 страниц. Журнал распространяется вместе с The Bulletin of Symbolic Logic и Review of Symbolic Logic. The Journal of Symbolic Logic, Review of Symbolic Logic и The Bulletin of Symbolic Logic являются официальными органами Association for Symbolic Logic, международной организации для поддержки исследований в области символической логики и содействию обмену идеями между математиками, философами, компьютерными учеными, лингвистами и другими лицами, заинтересованными в этой области.
Журнал включен в базу Thomson Reuters, его импакт-фактор 0,51.