Justification Logic

  • Sergei Artemov
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5293)
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

Personalised recommendations