the modal logic of necessity and possibility and contingency.

• 讨论必要性可能性与偶然性的模态逻辑。