电脑体验，效果更佳

模态逻辑语义学图谱-社科哲学领域：

研究人员

朱建平 刘新文

相关术语

命题变元 初始概念 关系结构 一阶逻辑 克里普克 模态逻辑学 可能世界 量化模态逻辑形式语义学

标签云