The logic of proofs, semantically

Annals of Pure and Applied Logic

Volumn 132, Issue 1, 2005, Pages 1-25

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 8644260892     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2004.04.009     Document Type: Article

References (11)

1. S. Artemov, Operational modal logic, Technical Report MSI 95-29, Cornell University, December, 1995
2. Artemov S. Explicit provability and constructive semantics The Bulletin for Symbolic Logic 7 1 2001 1-36
3. V. Brezhnev, On explicit counterparts of modal logics, Technical Report CFIS 2000-06, Cornell University, 2000
4. Brezhnev V. On the logic of proofs Proceedings of the Sixth ESSLLI Student Session Helsinki 2001 35-46 http://www.helsinki.fi/esslli/
5. Fitting M.C. A semantic proof of the realizability of modal logic in the logic of proofs, Technical Report TR-2003010, City University of New York, New York, September, 2003 http://www.cs.gc.cuny.edu/tr/
6. Fitting M.C. A semantics for the logic of proofs, Technical Report TR-2003012, City University of New York, New York, September, 2003 http://www.cs.gc.cuny.edu/tr/
7. Hintikka J. Knowledge and Belief 1962 Cornell University Press
8. Kuznets R. On the complexity of explicit modal logics Computer Science Logic 2000 Lecture Notes in Computer Science vol. 1862 2000 371-383
9. Mkrtychev A. Models for the logic of proofs. In: Adian S.I. Nerode A. (Eds.). Logical Foundations of Computer Science Lecture Notes in Computer Science number 1234 1997 266-275 Springer
10. Renee B. Completeness of a tableau system for the logic of proofs, Technical Report TR-2004001, City University of New York, 2004 http://www.cs.gc.cuny.edu/tr/
11. Smullyan R.M. First-Order Logic 1994 Springer-Verlag, Berlin, 1968, Dover Press New York (revised edition)