Logical Methods in Computer Science is a peer-reviewed journal in theoretical computer science and applied logic founded in 2004. It is significant in two principal respects: it has a distinguished editorial board with Dana Scott as Editor-in-Chief, and is open access as it makes its content available through a Creative Commons-Attribution No Derivatives license.