Plantinga's notion of 'broadly logical necessity' applied to past truths provides a rigorous modal f...