Assertion: justification logic | /r/HasProperty | introduced in artemov
Facets:
Source sentences:
text: The name Justification Logic was introduced in (Artemov 2008), in which Kripke, Russell, and Gettier examples were formalized; this formalization has been used for the resolution of paradoxes, verification, hidden assumption analysis, and eliminating redundancies.