范本特姆

  • 网络Johan van Benthem; J. van Benthem; VanBenthem

范本特姆范本特姆

范本特姆

Johan van Benthem

  约翰?范本特姆(Johan van Benthem)教授是当今最著名的逻辑学家之一,他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学 …

J. van Benthem

1 (作者:刘奋荣 刘新文 余俊伟) 范本特姆J. van Benthem)教授是当今最著名的逻辑学家之一,他的学术研究涉及模 态逻 …

VanBenthem

自从范本特姆(VanBenthem)定理问世之后,互模拟被广泛地运用于模态逻辑的研究中,目前已成为模态逻辑模型论的一个核心 …

热词推荐