JOURNAL OF LOGIC AND COMPUTATION
Note: The following journal information is for reference only. Please check the journal website for updated information prior to submission.
Journal Title
JOURNAL OF LOGIC AND COMPUTATION
J LOGIC COMPUT
ISSN / eISSN
0955-792X / 1465-363X
Aims and 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.
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.
Subject Area
COMPUTER SCIENCE, THEORY & METHODS
LOGIC
CiteScore
1.70
View Trend
CiteScore Ranking
Category | Quartile | Rank |
---|---|---|
Arts and Humanities - Arts and Humanities (miscellaneous) | Q2 | #168/440 |
Arts and Humanities - Logic | Q2 | #18/41 |
Arts and Humanities - Theoretical Computer Science | Q4 | #100/127 |
Arts and Humanities - Hardware and Architecture | Q4 | #138/169 |
Arts and Humanities - Software | Q4 | #330/404 |
Web of Science Core Collection
Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
---|---|
Indexed | - |
Category (Journal Citation Reports 2023) | Quartile |
---|---|
COMPUTER SCIENCE, THEORY & METHODS - SCIE | Q4 |
LOGIC - SCIE | Q2 |
H-index
49
Country/Area of Publication
ENGLAND
Publisher
Oxford University Press
Publication Frequency
Bimonthly
Annual Article Volume
94
Open Access
NO
Contact
OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP
Add your recorded webinar
Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.
Upload NowBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started