2016/12/14 by Giorgi Japaridze, Japaridze, Giorgi
Computer Science · #03D15 #03D75 #03F50 #68Q10 #68T27 #68T30 #Computability, Logic, AI Algorithms #F.1.1 #F.1.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
paper · pdf · doi:10.48550/arxiv.1612.04513
openalex publication_date 2016/12/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at http://www.csc.villanova.edu/~japaridz/CL/ .