现代模态逻辑相关论文
针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑......
<正> 可能世界语义学的建立和发展,受到了哲学家、逻辑学家以及语言学家们的极大关注,并不仅仅因为可能世界在形而上学上是一个很......
