Journal of Logic and Computation

Aims & Scope

Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence.

Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.

The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths....

Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases.

The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.

View Aims & Scope

---

Metrics & Ranking

SJR (SCImago Journal Rank)

Year	Value
2024	0.505

Quartile

Year	Value
2024	Q1

h-index

Year	Value
2024	58

Impact Factor

Year	Value
2024	0.70

Journal Rank

Year	Value
2024	11475

Journal Citation Indicator

Year	Value
2024	232

---

---

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 Arts and Humanities, 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.

• Persuasion in Practical Argument Using Value-based Argumentation Frameworks

  Citation: 468

  Authors: T. J. M.

• Abstract Interpretation Frameworks

  Citation: 448

  Authors: PATRICK, RADHIA

• Abductive Logic Programming

  Citation: 441

  Authors: A. C., R. A., F.

• Logic Programming with Focusing Proofs in Linear Logic

  Citation: 427

  Authors: JEAN-MARC

• Actions and Events in Interval Temporal Logic

  Citation: 376

  Authors: JAMES F., GEORGE

• Agents that reason and negotiate by arguing

  Citation: 368

  Authors: S

• Rewrite-based Equational Theorem Proving with Selection and Simplification

  Citation: 265

  Authors: LEO, HARALD

• A Modal Logic for Coalitional Power in Games

  Citation: 263

  Authors: M.

• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

  Citation: 243

  Authors: DALE

• Merging Information Under Constraints: A Logical Framework

  Citation: 231

  Authors: S.

---