Exact justification logics

The sharpness property of justification models is essential for formal analysis of epistemic scenarios like Russell's Prime Minister Example. The problem to axiomatize this property in the the propositional justification language was left opened. We propose the solution and provide complete axiomatizations for classes of all sharp basic justification models and of all justification models that are sharp with respect to two operations: application and plus.