Abstract
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justifications for a true statement, one which is correct and one which is not. We formalize this example in a system of Justification Logic with two knowers: the object agent and the observer, and we show that whereas the object agent does not logically distinguish between factive and non-factive justifications, such distinctions can be attained at the observer level by analyzing the structure of evidence terms. Basic logic properties of the corresponding two-agent Justification Logic system have been established, which include Kripke-Fitting completeness. We also argue that a similar evidence-tracking approach can be applied to analyzing paraconsistent systems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Artemov, S.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)
Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
Artemov, S.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)
Artemov, S.: The Logic of Justification. The Review of Symbolic Logic 1(4), 477–513 (2008)
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)
Artemov, S., Nogina, E.: Introducing justification into epistemic logic. J. of Logic and Computation 15(6), 1059–1073 (2005)
Brezhnev, V.: On explicit counterparts of modal logics. Technical Report CFIS 2000-05. Cornell University (2000)
Brezhnev, V., Kuznets, R.: Making knowledge explicit: How hard it is. Theoretical Computer Science 357(1-3), 23–34 (2006)
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)
Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. In: 21st IEEE Computer Security Foundations Symposium (CSF 2008), pp. 149–162 (2008)
Gurevich, Y., Neeman, I.: The Infon Logic. Bulletin of European Association for Theoretical Computer Science 98, 150–178 (2009)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1–25 (2005)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
Krupski, N.V.: On the complexity of the reflected logic of proofs. Theoretical Computer Science 357(1), 136–142 (2006)
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)
Kuznets, R.: Complexity Issues in Justification Logic. Ph.D. thesis. CUNY Graduate Center (2008)
Milnikel, R.: Derivability in certain subsystems of the Logic of Proofs is \(\Pi_2^p\)-complete. Annals of Pure and Applied Logic 145(3), 223–239 (2007)
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)
Russell, B.: The Problems of Philosophy. Williams and Norgate/Henry Holt and Company, London/New York (1912)
von Wright, G.H.: An essay in modal logic. North-Holland, Amsterdam (1951)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Artemov, S. (2010). Tracking Evidence. In: Blass, A., Dershowitz, N., Reisig, W. (eds) Fields of Logic and Computation. Lecture Notes in Computer Science, vol 6300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15025-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-15025-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15024-1
Online ISBN: 978-3-642-15025-8
eBook Packages: Computer ScienceComputer Science (R0)