go top

kripke semantic

  • 克里普克语义

专业释义

  • 克里普克语义 - 引用次数:1

    参考来源 - 模糊模态命题逻辑的语义

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • For the sake of criticizing Frege and Russell's theory of description of names, Kripke gave three kinds of demonstration, namely model arguments, epistemological arguments and semantic arguments.

    克里普克为了批判弗雷格罗素名称摹状理论提出了三类论证论证认识论的论证和语义的论证。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定