Logical Methods in Computer Science

Logical Methods in Computer Science (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived in 2004. The first volume appeared in 2005.

LMCS is significant in two principal respects: it has a distinguished editorial board (with Dana Scott as Editor-in-Chief until 2014), and is open access as it makes its content available through a Creative Commons-Attribution No Derivatives license.

The journal is available under ISSN 1860-5974.