实体
Kripke
Kripke
PulseAugur coverage of Kripke — every cluster mentioning Kripke across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
用户寻求精确理解柯里悖论和自指
用户正在寻求对数学逻辑概念，特别是柯里悖论的更精确理解。他们遇到了形式逻辑和 Lob、Tarski、Kripke 和 Godel 定理的自指性质的困难。用户提供了一个涉及条件语句及其含义的柯里悖论示例，并指出自指似乎是核心问题。
-
新的情境演算方法处理产生义务的行为
本文在情境演算框架内引入了一种新颖的方法来解决产生义务的行为的框架问题。这类行为，例如开门后关门，会给执行这些行为的代理人带来义务。所提出的解决方案简化了在义务逻辑语义中使用的可访问性关系的现有描述，并与克里普克风格的可能世界语义保持一致。该工作扩展了基本动作理论和回归算子以适应这些产生义务的行为，确保义务除非被明确解除，否则会持续存在。