Tracking evidence

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

Volumn 6300 LNCS, Issue , 2010, Pages 61-74

  Artemov, Sergei ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

epistemic logic; evidence; justification

Indexed keywords

BASIC LOGIC; EPISTEMIC LOGIC; EVIDENCE; JUSTIFICATION; LOGIC SYSTEMS; LOGICAL FRAMEWORKS;

COMPUTER SCIENCE;

TECHNICAL PRESENTATIONS;

EID: 77956573866     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15025-8_3     Document Type: Conference Paper

References (22)

1. Artemov, S.: Operational modal logic. Technical Report MSI 95-129, Cornell University (1995)
2. Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1-36 (2001)
3. Artemov, S.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4-22 (2006)
4. Artemov, S.: The Logic of Justification. The Review of Symbolic Logic 1(4), 477-513 (2008)
5. Artemov, S., Kuznets, R.: Logical omniscience as a computational complexity problem. In: Heifetz, A. (ed.) Theoretical Aspects of Rationality and Knowledge. Proceedings of the Twelfth Conference (TARK 2009), Stanford University, California, July 6-8, pp. 14-23. ACM, New York (2009)
6. Artemov, S., Nogina, E.: Introducing justification into epistemic logic. J. of Logic and Computation 15(6), 1059-1073 (2005)
7. Brezhnev, V.: On explicit counterparts of modal logics. Technical Report CFIS 2000-2005. Cornell University (2000)
8. Brezhnev, V., Kuznets, R.: Making knowledge explicit: How hard it is. Theoretical Computer Science 357(1-3), 23-34 (2006)
9. Goris, E.: Logic of proofs for bounded arithmetic. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol.3967, pp. 191-201. Springer, Heidelberg (2006)
10. Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. In: 21st IEEE Computer Security Foundations Symposium (CSF 2008), pp. 149- 162 (2008)
11. Gurevich, Y., Neeman, I.: The Infon Logic. Bulletin of European Association for Theoretical Computer Science 98, 150-178 (2009)
12. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
13. Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1-25 (2005)
14. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
15. Krupski, N.V.: On the complexity of the reflected logic of proofs. Theoretical Computer Science 357(1), 136-142 (2006)
16. Kuznets, R.: On the complexity of explicit modal logics. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.1862, pp. 371-383. Springer, Heidelberg (2000)
17. Kuznets, R.: Complexity Issues in Justification Logic. Ph.D. thesis. CUNY Graduate Center (2008)
18. 2 - complete. Annals of Pure and Applied Logic 145(3), 223-239 (2007)
19. Mkrtychev, A.: Models for the logic of proofs. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol.1234, pp. 266-275. Springer, Heidelberg (1997)
20. Russell, B.: The Problems of Philosophy. Williams and Norgate/Henry Holt and Company, London/New York (1912)
21. von Wright, G.H.: An essay in modal logic. North-Holland, Amsterdam (1951)
22. Yavorskaya(Sidon), T.: Multi-agent Explicit Knowledge. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol.3967, pp. 369-380. Springer, Heidelberg (2006)