Author:
Ardeshir Mohammad,Mojtahedi S. Mojtaba
Publisher
Springer Science and Business Media LLC
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES;The Bulletin of Symbolic Logic;2023-07-26
2. Logics of intuitionistic Kripke-Platek set theory;Annals of Pure and Applied Logic;2021-12
3. Hard Provability Logics;Logic, Epistemology, and the Unity of Science;2021
4. The Σ1-provability logic of HA;Annals of Pure and Applied Logic;2018-10
5. Reduction of provability logics to Σ1-provability logics;Logic Journal of IGPL;2015-08-27