Publisher
Springer International Publishing
Reference16 articles.
1. Artemov, S.: Explicit provability and constructive semantics. Bull. Symbolic Logic 7, 1–36 (2001)
2. Artemov, S.: Knowing the model. Published online at: arXiv:1610.04955 [math.LO] (2016)
3. Bernays, P.: On the original Gentzen proof for number theory. In: Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo, NY, 1968, vol. 60, pp. 409–417 (1970)
4. Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1995)
5. Burge, T.: Buridan and epistemic paradox. Philos. Stud. Int. J. Philos. Anal. Tradit. 34, 21–35 (1978)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献