Subject
Mathematics (miscellaneous)
Reference7 articles.
1. L. D. Beklemishev, “Reflection Principles and Provability Algebras in Formal Arithmetic,” Usp. Mat. Nauk 60(2), 3–78 (2005) [Russ. Math. Surv. 60, 197–268 (2005)].
2. L. D. Beklemishev, “Kripke Semantics for Provability Logic GLP,” Ann. Pure Appl. Logic 161, 756–774 (2010); Logic Group Preprint Ser. 260 (Univ. Utrecht, Oct. 2007), http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint260.pdf
3. G. Boolos, The Logic of Provability (Cambridge Univ. Press, Cambridge, 1993).
4. K. N. Ignatiev, “On Strong Provability Predicates and the Associated Modal Logics,” J. Symb. Log. 58, 249–290 (1993).
5. G. K. Japaridze, “The Modal Logical Means of Investigation of Provability,” Candidate (Philos.) Dissertation (Moscow State Univ., Moscow, 1986).
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献