哲学 逻辑 释 dynamic semantics 动态语义学 形式语义学的一个分支，其特征是采用动态逻辑的方法分析自然语言语义。
理论计算机科学 程序理论 释文 dynamic semantics 动态语义
- Sargent curve
- sargentgloryvine stem
- Sargent law
- SAR geometric distortion
- Sarh
- Sarhoo
- sari
- Sarin
- Sa Rina
- Sario
- Sario normal operator
- Sarira Boxes of the Tang Dynasty
- Sarira Dagoba
- Sarira Dagoba in Qixia Temple
- Sarira-stupas on“Diamod Thrones”
- SARIs
- Sariska National Park
- sarkomycin
- SAR-Lupe satellite
- sarmentosin
- Sarnak, Peter Clive
- Sarnath
- saroban
- Sarod
- Saros