Annals of Pure and Applied LogicVolume 165, Issue 1, January 2014, Pages 1-2EditorialAuthor links open overlay panelAnil Nerode, Melvin FittingShow moreShareCitehttps://doi.org/10.1016/j.apal.2013.07.001Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2013 Elsevier B.V. All rights reserved.