Author:
Yavorskaya (Sidon) Tatiana
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference9 articles.
1. Artemov, S.: Uniform provability realization of intuitionistic logic, modality and λ-terms. Electron. Notes Theor. Comput. Sci. 23 (1999)
2. Artemov, S.: Explicit provability and constructive semantics. Bull. Symb. Log. 7, 1–36 (2001)
3. Artemov, S.: Evidence–based common knowledge. Technical report TR–2004018, CUNY Ph.D. Program in Computer Science (2005)
4. Avron, A.: On Modal Systems having arithmetical interpretation. J. Symb. Log. 49, 935–942 (1984)
5. Fitting, M.: The logic of proofs, semantically. Ann. Pure Appl. Log. 132(1), 1–25 (2005)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献