"Discrete Analysis" - http://www.nature.com/news/leading-mathematician-launches-arxiv-overlay-journal-1.18351 http://www.nature.com/news/leading-mathematician-l

"Discrete Analysis" - http://www.nature.com/news/leading-mathematician-launches-arxiv-overlay-journal-1.18351 http://www.nature.com/news/leading-mathematician-launches-ar... just started and was in the news http://processalgebra.blogspot.com/2015/12/the-novelty-of-arxiv-overlay-journals.html http://processalgebra.blogspot.com/2015/12/the-novelty-of-ar... lists a few more, including "Logical Methods in Computer Science published its first issue ten years ago and has become one of the favourite publication outlets for researchers working on logic in computer science, broadly construed."