Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. S.Artemov, “Logic of Proofs', Annals of Pure and Applied Logic, v.67 (1994), pp. 29–59.
2. S.Artemov, “Operational modal logic”, Techn. Rep. No 95-29, Mathematical Science Institute, Cornell University, December 1995.
3. S.Artemov, “Proof Realization of Intuitionistic and Modal Logic”, Techn. Rep. No 96-06, Mathematical Science Institute, Cornell University, December 1996.
4. D.Hilbert, P.Bernays, “Grundlagen der Mathematik”, I, Springer-Verlag, 1968.
5. C.Smorynski, Self-reference and modal logic, New York, Berlin, Heidelberg, Tokio: Springer Verlag, 1985.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Topological Semantics of Justification Logic;Computer Science – Theory and Applications;2008
2. Justified common knowledge;Theoretical Computer Science;2006-07
3. Explicit Provability and Constructive Semantics;Bulletin of Symbolic Logic;2001-03
4. Realization of Intuitionistic Logic by Proof Polynomials;Journal of Applied Non-Classical Logics;1999-01
5. On Two Models of Provability;Mathematical Problems from Applied Logic II