On Epistemic Logic with Justification
Sergei Nikolaevich Artemov, Elena Nogina · 2005
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato's definition did not have a formal representation. This