Journal of Logic and Computation
The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay as owner of the journal. External links Academic journals established in 1990 Computer science journals Logic journals Logic in computer science Formal methods publications Oxford University Press academic journals Bimonthly journals English-language journals