58 citations · 597 across the 38 of their papers we have counts for
1 paper · 2 filters
Giorgi Japaridze
Computability logic (see http://www.csc.villanova.edu/~japaridz/CL/) is a long-term project for redeveloping logic on the basis of a constructive game semantics, with games seen as…