| Introduction to computability logic G Japaridze Annals of Pure and Applied Logic 123 (1-3), 1-99, 2003 | 211 | 2003 |
| The logic of provability G Japaridze, D De Jongh Handbook of Proof Theory (Studies in Logic and the Foundations of …, 1998 | 115 | 1998 |
| In the Beginning was Game Semantics G Japaridze Games: Unifying Logic, Language, and Philosophy, 249-350, 2009 | 104 | 2009 |
| Sequential operators in computability logic G Japaridze Information and Computation 206 (12), 1443-1475, 2008 | 88 | 2008 |
| The polymodal logic of provability G Japaridze Intensional Logics and Logical Structure of Theories: Materials from the …, 1988 | 75* | 1988 |
| Computability logic: a formal theory of interaction G Japaridze Interactive Computation: The New Paradigm, 183-223, 2006 | 71 | 2006 |
| The modal logical means of investigation of provability G Japaridze Candidate (Philos.) Dissertation (Moscow State Univ., Moscow, 1986), 1986 | 62 | 1986 |
| From truth to computability I G Japaridze Theoretical computer science 357 (1-3), 100-135, 2006 | 61 | 2006 |
| The logic of provability D de Jongh, G Japaridze | 59 | 1997 |
| Propositional computability logic II G Japaridze ACM Transactions on Computational Logic (TOCL) 7 (2), 331-362, 2006 | 58 | 2006 |
| Introduction to cirquent calculus and abstract resource semantics G Japaridze Journal of Logic and Computation 16 (4), 489-532, 2006 | 57 | 2006 |
| The logic of tasks G Japaridze Annals of Pure and Applied Logic 117 (1-3), 261-293, 2002 | 57 | 2002 |
| Propositional computability logic I G Japaridze ACM Transactions on Computational Logic (TOCL) 7 (2), 302-330, 2006 | 51 | 2006 |
| Cirquent calculus deepened G Japaridze Journal of Logic and Computation 18 (6), 983-1028, 2008 | 44 | 2008 |
| Towards applied theories based on computability logic G Japaridze The Journal of Symbolic Logic 75 (2), 565-601, 2010 | 43 | 2010 |
| A constructive game semantics for the language of linear logic G Japaridze Annals of Pure and Applied Logic 85 (2), 87-156, 1997 | 38 | 1997 |
| Finite Kripke models and predicate logics of provability S Artemov, G Dzhaparidze The Journal of Symbolic Logic 55 (3), 1090-1098, 1990 | 37 | 1990 |
| From truth to computability II G Japaridze Theoretical Computer Science 379 (1-2), 20-52, 2007 | 34 | 2007 |
| The intuitionistic fragment of computability logic at the propositional level G Japaridze Annals of Pure and Applied Logic 147 (3), 187-227, 2007 | 30 | 2007 |
| Intuitionistic computability logic G Japaridze Acta Cybernetica 18 (1), 77-113, 2007 | 29 | 2007 |
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerified email at gc.cuny.edu