?模态逻辑
...方面的研究,近二十年来大多集中在数学理论上,具体而言,主要集中 在拓扑结构(Topolo西cal spaces)和模态逻辑(Modal Logics)这两方面上。
模态和时态逻辑
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。