Justification Logic

  • Sergei Artemov
Conference paper

DOI: 10.1007/978-3-540-87803-2_1

Volume 5293 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Sergei Artemov
    • 1
  1. 1.CUNY Graduate CenterNew York CityUSA