ACM Transactions on Computational Logic

Aims & Scope

TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science.

This area has a great tradition in computer science.

Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W.

Dijkstra, Robert W.

Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M.

Clarke, Allen E.

Emerson, and Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).

Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.

The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.

Both theoretical and applied papers are sought.

Submissions showing novel use of logic in computer science are especially welcome.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	0.9
2024	0.70

Journal Rank

Year	Value
2024	9630

Journal Citation Indicator

Year	Value
2024	115

SJR (SCImago Journal Rank)

Year	Value
2024	0.602

Quartile

Year	Value
2024	Q2

---

---

Abstracting & Indexing

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

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science 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.

• The DLV system for knowledge representation and reasoning

  Citation: 650

  Authors: Nicola, Gerald, Wolfgang, Thomas, Georg, Simona, Francesco

• Strongly equivalent logic programs

  Citation: 302

  Authors: Vladimir, David, Agustín

• Model-checking continuous-time Markov chains

  Citation: 296

  Authors: Adnan, Kumud, Vigyan, Robert

• Sequential abstract-state machines capture sequential algorithms

  Citation: 263

  Authors: Yuri

• Representation results for defeasible logic

  Citation: 231

  Authors: Grigoris, David, Guido, Michael J.

• Finite state machines for strings over infinite alphabets

  Citation: 185

  Authors: Frank, Thomas, Victor

• Contextual modal type theory

  Citation: 172

  Authors: Aleksandar, Frank, Brigitte

• LTL with the freeze quantifier and register automata

  Citation: 148

  Authors: Stéphane, Ranko

• Weak alternating automata are not that weak

  Citation: 138

  Authors: Orna, Moshe Y.

• Kleene algebra with domain

  Citation: 123

  Authors: Jules, Bernhard, Georg

---