  We present a completeness result for a logical system which combines stit
logic and justification logic in order to represent proving activity of the
agents. This logic is interpreted over the semantics introduced in earlier
publications. We define a Hilbert-style axiomatic system for this logic and
show that this system is strongly complete relative to the intended semantics.
