Logic of proofs and provability

Annals of Pure and Applied Logic

Volumn 113, Issue 1-3, 2001, Pages 345-372

  Yavorskaya, Tatiana ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

Logic of proofs; Operations on proofs; Provability logic

Indexed keywords

EID: 0035960968     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(01)00066-5     Document Type: Article

References (11)

1. Artemov S. Logic of proofs. Ann. Pure Appl. Logic. 67:1994;29-59.
2. S. Artemov, Operational modal logic, Technical Report No. 95-29, Cornell University, 1995.
3. S. Artemov, Explicit provability: the intended semantics for intuitionistic and modal logic, Technical Report CFIS 98-10, Cornell University, 1998.
4. S. Artemov, Explicit provability and constructive semantics, Bull. Symbolic Logic (2000), in preparation.
5. Boolos G. The Logic of Provability. 1993;Cambridge University Press, Cambridge.
6. Gödel K. Eine Interpretation des intuitionistischen Aussagenkalkul̈s Ergebnisse. Math. Colloq. 4:1933;39-40.
7. K. Gödel, Vortrag bei Zilsel, in: S. Feferman (Ed.), Kurt Gödel Collected Works, vol. III, Oxford University Press, Oxford, 1995.
8. Krupski V.N. Operational logic of proofs with functionality condition on proof predicate, Lecture Notes in Computer Science. vol. 1234:1997;167-177 Springer, Berlin.
9. Sidon T. Provability logic with operations on proofs, Lecture Notes in Computer Science. vol. 1234:1997;342-353 Springer, Berlin.
10. Smorynski C. Self-Reference and Modal Logic. 1985;Springer, New York.
11. Solovay R.M. Provability interpretation of modal logic. Israel J. Math. 25:1976;287-304.