An Essay in Modal Logic