alethic logic

• 真势模态逻辑

英英释义

Noun:

1. the modal logic of necessity and possibility and contingency