Journal of Logic and Computation promotes 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.
Journal Home:  Journal Homepage
Editor-in-Chief:  Dov Gabbay
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.
Print ISSN:  0955-792X
Electronic ISSN:  1465-363X
Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2021:  0.509
Subject Area and Category:  Computer Sciences, Philosophy, Mathematics
Publication Frequency:  Bimonthly
H Index:  54
Q1:  
Q2:  
Q3:  Theoretical Computer Science
Q4:  
Cite Score:  1.6
SNIP:  0.886
Journal Rank(SJR):  0.522
Latest Articles:   Latest Articles in Journal of Logic and Computation
Guidelines for Authors: Journal of Logic and Computation Author Guidelines
Paper Submissions: Paper Submissions in Journal of Logic and Computation
Publisher:  Oxford Univ Press
Country:  England