S. Artemov and L. Beklemishev. Provability logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd ed., v. 13, pp. 229--403, Kluwer, Dordrecht, 2004. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On Epistemic Logic with Justification - Sergei Artemov Elena Self-citation (Artemov) (Correct)
No context found.
S. Artemov and L. Beklemishev. Provability logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd ed., v. 13, pp. 229--403, Kluwer, Dordrecht, 2004.
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