Modal justification via theories. (2017)