Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. Boolos, G.: The Unprovability of Consistency, Cambridge University Press, 1979.
2. Boolos, G.: The Logic of Provability, Cambridge University Press, 1993.
3. Lindström, P.: Provability logic – a short introduction, Theoria 62 (1996), 19–61.
4. Sambin, G.: An effective fixed point theorem in intuitionistic diagonalizable algebras, Stud. Log., 35 (1976), 345–361.
5. Sambin, G. and Valentini, S.: The modal logic of provability. The sequential approach, J. Philos. Logic, 11 (1982), 311–342.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献