Author:
Montagna Franco,Pianigiani Duccio
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference17 articles.
1. Berarducci A.: The interpretability logic of Peano Arithmetic. J. Symb. Logic 55, 1050–1089 (1990)
2. de Jongh, D., Japaridze, G.: The logic of provability. In: Buss, S. (ed.) Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 475–546.
3. Elsevier, Amsterdam (1998)de Jongh, D., Pianigiani, D.: Solution of a problem of D. Guaspari. In: Orlowska, E. (ed.) Logic at Work: In Memory of Helena Rasiowa, pp. 246–255. Springer-Physica Verlag, Heidelberg-New York (1999)
4. de Jongh, D., Veltan, F.: Provability logics for relative interpretability. In: Petkov, P. (eds.) Mathematical Logic, Proceedings of the Heyting 1988 Summer School in Varna, pp. 31–42. Plenum Press, Boston (1990)
5. Guaspari D.: Sentences implying their own provability. J. Symb. Logic 48, 777–789 (1983)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Franco Montagna (1948–2015);Soft Computing;2016-12-17