§ Motivation for modal logic

§ Use of this for Kant

§ Use of this for descartes