Modal axioms

Formal statements that capture the intuitive meaning of modal operators.