＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 logic of modality 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- fixed spherical reflector
- fixed star
- fixed state measurement
- fixed step size
- fixed subgroup
- fixed-sum insurance
- fixed support impressed current cathodic protection
- fixed system
- fixed target
- fixed target experiments
- fixed-target experiments
- fixed-term labor contract
- fixed theory and the mobilistic theory of crustal movements
- fixed thread
- fixed thrust liquid rocket engine
- fixed-tiltable mirror
- fixed-tiltable reflector
- fixed-time control
- fixed time incrementing method
- fixed-time speedup
- fixed tower hawser single mooring system
- fixed ultrafilter
- fixed value
- fixed vector
- fixed view shifter projector