Distributed knowledge justification logics