Reference55 articles.
1. S. Artemov L. Beklemishev On propositional quantifiers in provability logic, Notre Dame JFL 34 (1993), 401-419
2. L. Beklemishev On the classification of propositional provability logics, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), 915-943; English transl. in Math. USSR Izvestiya 35 (1990), 247-275
3. L. Beklemishev Provability logics for natural Turing progressions of arithmetical theories, Studia Logica 50 (1991), 107-128
4. L. Beklemishev Bimodal logics for extensions of arithmetical theories, Steklov Mat. Inst., Russian Academy of Science, 1992
5. L. Beklemishev On bimodal logics of provability, Annals of Pure and Applied Logic 68 (1994), 115-159
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献