S. Artemov. Logic of Proofs. Annals of Pure and Applied Logic, v. 67, pp. 29--59, 1994. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Explicit Provability and Constructive Semantics - Artemov (2000) (1 citation) (Correct)
The Logic of Provability - Japaridze, de Jongh (1998) (13 citations) (Correct)
The Logic of Provability - Japaridze, de Jongh (1997) (13 citations) (Correct)
Chapter Vii - The Logic Of (1968) (1 citation) (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
On Epistemic Logic with Justification - Sergei Artemov Elena Self-citation (Artemov) (Correct)
On Explicit Reflection in Theorem Proving and Formal Verification - Artemov Self-citation (Artemov) (Correct)
Data Storage Interpretation of Labeled Modal Logic - Artemov, Krupski (1995) Self-citation (Artemov) (Correct)
Referential Data Structures - Artemov, Krupski (1994) Self-citation (Artemov) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC