This list was compiled by ScienceCast's automated system based on data on new preprints for Fri, 09 Feb 2024 on arXiv in the Logic in Computer Science category.