邻域语义相关论文
对立性状态指的是某个事态及其否定性的事态以某种方式而共存。本文用对立模态来刻画这种对立性。对立模态M*定义为:给定某个模态M......
使用普遍适用的邻域语义学对否定进行分析。首先找出否定的刻画条件——反单调性,然后在该条件的基础上探讨其它的性质(如单纯性、证......
首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK......
古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于 分析真与相关悖论的修正序列.修正真理论根据语句在所有修正......
“合适行动”是行动哲学和人工智能领域的一个重要概念,其基本元素包括“意图”、“能够”和“致使”。用邻域语义可以比较好地刻画......