Author:
Ardeshir Mohammad,Mojtahedi S. Mojtaba
Publisher
Oxford University Press (OUP)
Reference9 articles.
1. The de Jongh property for Basic Arithmetic
2. Provability logic;Artemov,2002
3. Problems in the logic of provability;Beklemishev,2006
4. The maximality of the intuitionistic predicate calculus with respect to Heyting's Arithmetic;de Jongh;The Journal of Symbolic Logic,1970
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Hard Provability Logics;Logic, Epistemology, and the Unity of Science;2021
2. THE -PROVABILITY LOGIC OF;The Journal of Symbolic Logic;2019-07-12
3. The Σ1-provability logic of HA;Annals of Pure and Applied Logic;2018-10
4. A many-sorted variant of Japaridze’s polymodal provability logic;Logic Journal of the IGPL;2018-05-04