Journal of Symbolic Logic

Aims & Scope

The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality.

Papers are expected to exhibit innovation and not merely be minor variations on established work.

They should also be of interest to a broad audience.

JSL has been, since its establishment in 1936, the leading journal in the world devoted to mathematical logic.

Its prestige derives from its longevity and from the standard of submissions -- which, combined with the standards of reviewing, all contribute to the fact that it receives more citations than any other journal in logic.

Metrics & Ranking

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Arts and Humanities and Mathematics, designed to support cutting-edge academic discovery.

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• On the logic of theory change: Partial meet contraction and revision functions

  Citation: 1958

  Authors: Carlos E., Peter, David

• A formulation of the simple theory of types

  Citation: 1016

  Authors: Alonzo

• On the calculus of relations

  Citation: 565

  Authors: Alfred

• The relative efficiency of propositional proof systems

  Citation: 527

  Authors: Stephen A., Robert A.

• A completeness theorem in modal logic

  Citation: 503

  Authors: Saul A.

• Completeness in the theory of types

  Citation: 469

  Authors: Leon

• Foundational aspects of theories of measurement

  Citation: 454

  Authors: Dana, Patrick

• On notation for ordinal numbers

  Citation: 437

  Authors: S. C.

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

  Citation: 401

  Authors: William

• Intensional interpretations of functionals of finite type I

  Citation: 375

  Authors: W. W.