命题确定性和独立性的逻辑
Logics for Propositional Determinacy and Independence
摘要：
本文研究了确定性和独立性推理的形式逻辑。命题依赖逻辑D和命题独立逻辑I是最近开发的逻辑系统，基于团队语义，为这样的推理任务提供了一个框架。本文基于Kripke语义，引入了两个新的逻辑L_D和L_I，并分别作为D和I的替代。我们分析了这四种逻辑的相对表达能力，并讨论了这些系统与自然语言的关系。我们认为L_D和L_I自然地解决了D和I中出现的一系列解释问题。我们还得到了L_D和L_I的可靠的和完全的公理化。
英文摘要：
This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyze the relative expressive powers of these four logics and discuss the way these systems relate to natural language. We argue that L_D and L_I naturally resolve a range of interpretational problems that arise in D and I. We also obtain sound and complete axiomatizations for L_D and L_I.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
