现代模态逻辑相关论文
针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑......
道义逻辑是现代模态逻辑的一个重要分支，是逻辑学家把伦理概念予以逻辑分析而开辟的推理新领域，表达伦理规范的义务、允许、禁止、承......
<正> 可能世界语义学的建立和发展,受到了哲学家、逻辑学家以及语言学家们的极大关注,并不仅仅因为可能世界在形而上学上是一个很......
