Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Logics in Artificial Intelligence

JELIA 2008: Logics in Artificial Intelligence pp 1–4Cite as

Justification Logic

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5293))

Abstract

Justification Logic offers a new approach to a theory of knowledge, belief, and evidence, which possesses the potential to have significant impact on applications. The celebrated account of knowledge as justified true belief, which is attributed to Plato, has long been a focus of epistemic studies (cf. [10,15,18,26,30,32] and many others).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artemov, S.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)

    Google Scholar 

  2. Artemov, S.: Understanding constructive semantics. Spinoza Lecture for European Association for Logic, Language and Information, Utrecht (1999)

    Google Scholar 

  3. Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  4. Artemov, S.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  5. Artemov, S.: Justification logic. Technical Report TR-2007019, CUNY Ph.D. Program in Computer Science (2007)

    Google Scholar 

  6. Artemov, S., Beklemishev, L.: Provability logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., pp. 189–360. Springer, Heidelberg (2005)

    Google Scholar 

  7. Artemov, S., Kuznets, R.: Logical omniscience via proof complexity. In: Ésik, Z. (ed.) CSL 2006. LNCS, vol. 4207, pp. 135–149. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Artemov, S., Nogina, E.: Introducing justification into epistemic logic. J. of Logic and Computation 15(6), 1059–1073 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  9. Brezhnev, V., Kuznets, R.: Making knowledge explicit: How hard it is. Theoretical Computer Science 357(1-3), 23–34 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  10. Dretske, F.: Conclusive reasons. Australasian Journal of Philosophy 49, 1–22 (1971)

    Article  Google Scholar 

  11. Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning: Preliminary report. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI 1985), pp. 491–501 (1985)

    Google Scholar 

  12. Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)

    Article  MathSciNet  Google Scholar 

  13. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  14. Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1–25 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  15. Gettier, E.: Is justified true belief knowledge? Analysis 23, 121–123 (1963)

    Article  Google Scholar 

  16. Gödel, K.: Eine Interpretation des intuitionistischen Aussagenkalkuls. Ergebnisse Math. Kolloq. 4, 39–40 (1933); English translation in: Feferman, S., et al. (eds) Kurt Gödel Collected Works, Vol. I, pp. 301–303. Oxford University Press, Oxford (1986)

    Google Scholar 

  17. Gödel, K.: Vortrag bei Zilsel. In: English translation, Feferman, S., et al. (eds.) Kurt Gödel Collected Works, vol. III, pp. 86–113. Oxford University Press, Oxford (1995)

    Google Scholar 

  18. Goldman, A.: A causal theory of knowing. The Journal of Philosophy 64, 335–372 (1967)

    Article  Google Scholar 

  19. Hendricks, V.F.: Active agents. Journal of Logic, Language and Information 12(4), 469–495 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  20. Hendricks, V.F.: Mainstream and formal epistemology. Cambridge University Press, New York (2005)

    Google Scholar 

  21. Heyting, A.: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin (1934)

    Google Scholar 

  22. Hintikka, J.: Knowledge and belief. Cornell University Press, Ithaca (1962)

    Google Scholar 

  23. Hintikka, J.: Impossible possible worlds vindicated. Journal of Philosophical Logic 4, 475–484 (1975)

    Article  MATH  MathSciNet  Google Scholar 

  24. Kolmogoroff, A.: Zur Deutung der intuitionistischen logik. Math. Z. 35, 58–65 (1932) (in German); English transl.: Selected works of Kolmogorov, A.N., vol. I, Mathematics and Mechanics, Tikhomirov, V.M. (ed.). Kluwer, Dordrecht, pp. 151–158 (1991)

    Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. Lehrer, K., Paxson, T.: Knowledge: undefeated justified true belief. The Journal of Philosophy 66, 1–22 (1969)

    Article  Google Scholar 

  27. Luper, S.: The epistemic closure principle. Stanford Encyclopedia of Philosophy (2005)

    Google Scholar 

  28. Meyer, J.-J.Ch., van der Hoek, W.: Epistemic logic for AI and computer science. Cambridge (1995)

    Google Scholar 

  29. Moses, Y.: Resource-bounded knowledge. In: Vardi, M. (ed.) Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, California, March 7–9, 1988, pp. 261–276. Morgan Kaufmann Pbl, San Francisco (1988)

    Google Scholar 

  30. Nozick, R.: Philosophical explanations. Harvard University Press (1981)

    Google Scholar 

  31. Parikh, R.: Knowledge and the problem of logical omniscience. In: Ras, Z., Zemankova, M. (eds.) ISMIS 1987 (International Symposium on Methodology for Intellectual Systems), pp. 432–439. North-Holland, Amsterdam (1987)

    Google Scholar 

  32. Stalnaker, R.C.: Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy 12, 133–163 (1996)

    Article  Google Scholar 

  33. van Dalen, D.: Intuitionistic logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, Reidel, vol. 3, pp. 225–340 (1986)

    Google Scholar 

  34. von Wright, G.H.: An essay in modal logic. North-Holland, Amsterdam (1951)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CUNY Graduate Center, 365 Fifth Ave., New York City, NY 10016, USA

    Sergei Artemov

Authors
  1. Sergei Artemov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, TU Dresden, Germany

    Steffen Hölldobler

  2. Institut für Theoretische Informatik, TU Dresden, Germany

    Carsten Lutz

  3. Institute of Philosophy, Dresden University of Technology, Dresden, Germany

    Heinrich Wansing

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Artemov, S. (2008). Justification Logic. In: Hölldobler, S., Lutz, C., Wansing, H. (eds) Logics in Artificial Intelligence. JELIA 2008. Lecture Notes in Computer Science(), vol 5293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87803-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87803-2_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87802-5

  • Online ISBN: 978-3-540-87803-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation