Author:
Urbaniak Rafal,Pawlowski Pawel
Publisher
Springer International Publishing
Reference86 articles.
1. Anderson, A. R. (1956). The formal analysis of normative systems (Technical report), DTIC Document.
2. Artemov, S. (1985). Nonarithmeticity of truth predicate logics of provability. Doklady Akademii Nauk SSSR, 284(2), 270–271.
3. Artemov, S. (1986). On modal logics axiomatizing provability. Mathematics of the USSR-Izvestiya, 27(3), 401–429.
4. Artemov, S. (1987). Arithmetically complete modal theories. American Mathematical Society Translations, 2(135), 39–54.
5. Artemov, S. (1994). Logic of proofs. Annals of Pure and Applied Logic, 67(1–3), 29–59.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献