Provability logic with operations on proofs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1234, Issue , 1997, Pages 342-353

  Sidon, Tatiana ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

AXIOMATIZATION; MODAL OPERATORS; OPERATIONAL MODAL; PROPOSITIONAL LANGUAGE; PROPOSITIONAL LOGIC; PROVABILITY LOGIC;

COMPUTER CIRCUITS;

EID: 21744450180     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63045-7_35     Document Type: Conference Paper

References (6)

1. S.Artëmov, "Logic of Proofs," Annals of Pure and Applied Logic, v.67 (1994), pp. 29-59.
2. S.Artëmov, "Operational modal logic," Techn. Rep. No 95-29, Mathematical Science Institute, Cornell University, December 1995.
3. S.Artëmov, "Proof Realization of Intuitionistic and Modal Logic," Techn. Rep. No 96-06, Mathematical Science Institute, Cornell University, December 1996.
4. D.Hilbert, P.Bemays, "Grundlagen der Mathematik," I, Springer-Verlag, 1968.
5. C.Smorynski, Self-reference and modal logic, New York, Berlin, Heidelberg, Tokio: Springer Verlag, 1985.
6. R.M.Solovay, "Provability interpretation of modal logic," Israel Journal of Mathematics, v.25 (1976), pp. 287-304.