  We present a completeness result for the implicit fragment of justification
stit logic. Although this fragment allows for no strongly complete
axiomatization, we show that a restricted form of strong completeness
(subsuming weak completeness) is available, as well as deduce a version of
restricted compactness property.
