Making knowledge explicit: How hard it is

Theoretical Computer Science

Volumn 357, Issue 1-3, 2006, Pages 23-34

  Brezhnev, Vladimir ^a   Kuznets, Roman ^b  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Logic of proofs; Modal logic; Self reference

Indexed keywords

ALGORITHMS; ENCODING (SYMBOLS); FORMAL LOGIC; MODAL ANALYSIS; POLYNOMIALS; THEOREM PROVING;

ARTEMOV'S LOGIC; LOGIC OF PROOFS; MODAL LOGIC; SELF-REFERENCE;

COMPUTER SCIENCE;

EID: 33745669343     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.03.010     Document Type: Article

References (10)

1. S.N. Artemov, Operational modal logic, Technical Report MSI 95-29, Cornell University, December 1995.
2. Artemov S.N. Explicit provability and constructive semantics. The Bulletin of Symbolic Logic 7 1 (2001) 1-36
3. S.N. Artemov, Evidence-based common knowledge, Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science, November 2004.
4. Artemov S.N. Kolmogorov and Gödel's approach to intuitionistic logic: current developments. Russian Math. Surveys 59 2 (2004) 203-229
5. S.N. Artemov, E. Nogina, Logic of knowledge with justifications from the provability perspective, Technical Report TR-2004011, CUNY Ph.D. Program in Computer Science, September 2004.
6. Cook S., and Reckhow R. On the lengths of proofs in the propositional calculus (preliminary version). Proc. Sixth Annu. ACM Symp. on Theory of Computing (1974), ACM Press, New York 135-148
7. R. Feys, Modal Logics, Paris, 1965.
8. Fitting M. The logic of proofs, semantically. Ann. Pure Appl. Logic 132 1 (2005) 1-25
9. A. Mkrtychev, Models for the logic of proofs, in: S.I. Adian, A. Nerode (Eds.), Logical Foundations of Computer Science, Fourth Internat. Symp., LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, Lecture Notes in Computer Science, Vol. 1234, Springer, Berlin, 1997, pp. 266-275.
10. A.S. Troelstra, H. Schwichtenberg. Basic Proof Theory, Cambridge Tracts in Theoretical Computer Science, Vol. 43, second ed., Cambridge University Press, Cambridge, 2000.