Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Borga, M. (1983). On some proof theoretical properties of the modal logic GL. Studia Logica, 42, 453–459.
2. Goré, R., & Ramanayake, R. (2008). Valentini’s cut-elimination for provability logic resolved. In Advances in modal logic’08 (pp. 67–86).
3. Kleene, S.C. (1967). Mathematical Logic. New York: Wiley and Sons.
4. Löb, M.H. (1955). Solution to a problem of Leon Henkin. Journal of Symbolic Logic, 20, 115–118.
5. Sambin, G., & Valentini, S. (1982). The modal logic of provability. The sequential approach. Journal of Philosophical Logic, 11(3), 311–342.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献