Uniform provability realization of intuitionistic logic, modality and λ-terms-Reference-Cited by-同舟云学术

Uniform provability realization of intuitionistic logic, modality and λ-terms

Published:1999 Issue:1 Volume:23 Page:3-12
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Artemov Sergei N.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. S. Artemov, Operational Modal Logic, Technical Report MSI 95-29, Cornell University, 1995 (http://www.cs.cornell.edu/home/artemov/MSI98-29.ps).

2. S. Artemov, Logic of Proofs: a Unified Semantics for Modality and λ-terms, Technical Report CFIS 98-06, Cornell University, 1998 (http://www.cs.cornell.edu/home/artemov/CFIS98-06.ps).

3. S. Artemov, Unified Semantics for modality and λ-terms via Proof Polynomials, Technical Report CFIS 99-03, Cornell University, 1999. To appear in “Logic, Language and Computation'97, CSLI Publications”, Stanford University, 1999.

4. G. Bierman and V. de Paiva, Intuitionistic necessity revisited, Proceedings of the logic of Work Conference, Amsterdam (December 1992), Second revison, June 1996, (http://theory.doc.ic.ac.uk/tfm/papers.html).

5. Eine Interpretation des intuitionistischen Aussagenkalkuls;Gäodel;Ergebnisse Math. Colloq,1933

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Intuitionistic completeness of first-order logic;Annals of Pure and Applied Logic;2014-01

2. Interacting Explicit Evidence Systems;Theory of Computing Systems;2007-10-25

3. On Realization of -modality by Evidence Terms;Journal of Logic and Computation;2006-09-16

4. Multi-agent Explicit Knowledge;Computer Science – Theory and Applications;2006

5. Evidence Reconstruction of Epistemic Modal Logic S5;Computer Science – Theory and Applications;2006