The Journal of Symbolic Logic aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
A proof-theoretic study of the correspondence of classical logic and modal logic
H. Kushida, et al. (2003)