Modal Justification via Theories