Modal Justification via Theories | EKB DL