Author:
Sambin Giovanni,Valentini Silvio
Publisher
Springer Science and Business Media LLC
Reference24 articles.
1. BellissimaF., ?On the modal logic corresponding to diagonalizable algebra theory?, Boll. Un. Mat. Ital. (5), 15-B (1978), 915?930.
2. BernardiC., ?The uniqueness of the fixed point in every diagonalizable algebra? (The algebraization of the theories which express Theor, VIII), Studia Logica 35 (1976). 335?343.
3. Boolos, G., The Unprovability of Consistency. An Essay in Modal Logic, Cambridge U.P., 1979.
4. BoolosG., ?Extremely undecidable sentences?, J. Symbolic Logic, 47 (1982) 191?196.
5. Gentzen G., Collected Papers, North Holland, 1969.
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献