Journal of Logic and Computation

Journal Abbreviation: J LOGIC COMPUT
Journal ISSN: 0955-792X

About Journal of Logic and Computation

    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. <br/>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.
Year Impact Factor (IF) Total Articles Total Cites
2022 (2023 update) 0.7 - 858
2021 0.509 - 918
2020 0.416 64 664
2019 0.803 52 734
2018 0.509 61 660
2017 0.740 91 732
2016 0.909 72 832
2015 0.585 51 618
2014 0.512 48 534
2013 0.504 58 499
2012 0.647 63 444
2011 0.611 52 424
2010 0.586 50 589