新模 meaning in English
neotype
Examples
- The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case . ( 2 ) we introduce a new modal operator
( 2 )引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的-互模拟的模态逻辑特征。