Author:
Bonelli Eduardo,Steren Gabriela
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference20 articles.
1. Artemov, S.N., Beklemishev, L.D.: Provability logic. In: Handbook of Philosophical Logic, 2nd ed, 13, pp. 189–360. Springer, New York (2005)
2. Sergei, N.: Artëmov and Eduardo Bonelli. The intensional lambda calculus. In: Artëmov, S.N., Nerode, A. (eds.) LFCS, vol. 4514 of Lecture Notes in Computer Science, pp. 12–25. Springer, New York (2007)
3. Abadi, M., Fournet, C.: Access control based on execution history. In: In Proceedings of the 10th Annual Network and Distributed System Security Symposium, pp. 107–121, (2003)
4. Sergei N.: Artëmov and Rosalie Iemhoff. The basic intuitionistic logic of proofs. J. Symb. Log. 72(2), 439– (2007)
5. Artëmov, S.: Operational modal logic. Technical Report Technical Report MSI 95-29, Cornell University (1995)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rewrites as Terms through Justification Logic;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
2. The first-order hypothetical logic of proofs;Journal of Logic and Computation;2016-01-30
3. Justification logic and audited computation;Journal of Logic and Computation;2015-06-19