欣迪卡相关论文
雅各.欣迪卡将博弈理论与语义学直接结合起来,创建了博弈论语义学。欣迪卡用博弈论语义学分析了罗斯悖论,认为该悖论所刻画的情况......
<正> 1.可能世界语义学的基本思想可能世界语义学是模态逻辑的形式语义学,它起源于莱布尼茨的可能世界理论。莱布尼茨认为,一个事......
现代归纳逻辑发轫于20世纪初,其主流是概率归纳逻辑,即用概率论作为工具研究归纳推理,贝叶斯方法在其中起着关键的作用。贝叶斯方法的......