|Abstract||This is an expository paper in which the basic ideas of a family of Justification Logics are presented. Justification Logics evolved from a logic called LP, introduced by Sergei Artemov [1, 3], which formed the central part of a project to provide an arithmetic semantics for propositional intuitionistic logic. The project was successful, but there was a considerable bonus: LP came to be understood as a logic of knowledge with explicit justifications and, as such, was capable of addressing in a natural way long-standing problems of logical omniscience. Since then, LP has become one member of a family of related logics, all logics of knowledge with explicit knowledge terms. In this paper the original problem of intuitionistic foundations is discussed only briefly. We concentrate entirely on issues of reasoning about knowledge.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jan Plaza (2007). Logics of Public Communications. Synthese 158 (2):165 - 179.
Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001). Term-Modal Logics. Studia Logica 69 (1):133-169.
Sergei N. Artemov (2012). The Ontology of Justifications in the Logical Setting. Studia Logica 100 (1-2):17-30.
Added to index2009-06-23
Total downloads18 ( #67,593 of 549,122 )
Recent downloads (6 months)1 ( #63,361 of 549,122 )
How can I increase my downloads?