Self-referentiality of justified knowledge

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

Volumn 5010 LNCS, Issue , 2008, Pages 228-239

  Kuznets, Roman ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODAL ANALYSIS; THEOREM PROVING; VERIFICATION;

CORRESPONDING SYSTEMS; JUSTIFIED KNOWLEDGE; SELF-REFERENTIAL EVIDENCES; SELF-REFERENTIALITY;

KNOWLEDGE ACQUISITION;

EID: 44649120248     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79709-8_24     Document Type: Conference Paper

References (10)

1. Artemov, S.N.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)
2. Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1-36 (2001.)
3. Artemov, S.N.: Justification logic. Technical Report TR-2007019, CUNY Ph.D. Program in Computer Science (2007)
4. Brezhnev, V.N.: On explicit counterparts of modal logics. Technical. Report CFIS 2000-05, Cornell University (2000)
5. Brezhnev, V.N., Kuznets, R.: Making knowledge explicit: How hard it is. Theoretical Computer Science 357(1-3), 23-34 (2006)
6. Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1-25 (2005)
7. Kuznets, R.: Complexity Issues in Justification Logic. PhD thesis, CUNY Graduate Center (2008)
8. Pacuit, E.: A note on some explicit modal logics. In: Proceedings of the 5th Panhellenic Logic Symposium, Athens, Greece, July 25 28, 2005, University of Athens (2005)
9. Rubtsova, N.: Evidence reconstruction of epistemic modal logic S5. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol' 3967, pp. 313-321. Springer, Heidelberg (2006)
10. Wansing, H.: Sequent calculi for normal modal prepositional logics. Journal of Logic and Computation 4(2), 125-142 (1994)