Peter Abelard's Modal Logic