The book contains an excellent discussion of modal logic.
这本书包含了有关模态逻辑的精彩探讨.
互联网
Modal logic, as a non - classical logic, is different from classical logic.
模态逻辑作为一种 非 古典逻辑是与古典逻辑不同类型的逻辑.
互联网
The study of modality may date back to Aristotle, who focused his attention on modal logic.
对情态意义的研究可追溯到亚里士多德时期, 当时的研究重点是情态的哲学概念.
互联网