Journal of Logic and Computation est une revue scientifique à évaluation par les pairs spécialisée dans la publication d'articles en logique mathématique et en informatique théorique et ses domaines connexes. La revue a été créée en 1990 ; elle est publiée par Oxford University Press sous licence de Dov Gabbay, propriétaire du journal.