首页/论文/2008.10324

arXiv 2008.103242020-08math.LO

命题并闭队逻辑

Propositional union closed team logics

Fan Yang

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在本文中，我们研究了几个命题组逻辑是封闭的unions，包括命题包含逻辑。我们证明，所有这些逻辑是表达完整的，我们引入健全的和完整的系统，这些逻辑的自然演绎。我们还讨论了这些逻辑中的局部性及其与插值的关系。

英文摘要：

In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of natural deduction for these logics. We also discuss the locality property and its connection with interpolation in these logics.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

命题团队逻辑

Propositional Team Logics

我们考虑命题逻辑的团队语义，继续我们以前的工作（Yang & Väänänen 2016）。在团队语义学中，命题公式的真值被认为是一组估值，称为团队，而不是个人估值。这就有可能赋予依赖、独立和包容等概念以意义。我们定义了一个表达极大的命题组逻辑，称为全命题组逻辑。这需要超越经典命题逻辑的逻辑运算。我们展示了一个层次的逻辑之间的最小的，即经典命题逻辑，并充分命题队逻辑。我们用几种方式来描述这些不同的逻辑：首先是语法上的逻辑运算，然后是语义上的它们能够定义的团队集合。在一些重要的情况下，我们能够找到这些逻辑的完整公理化。

2016-12-15math.LO

命题团队逻辑中的可表达性与不可表达性

Expressibility and inexpressibility in propositional team logics

University of Helsinki（赫尔辛基大学）；Leibniz University Hannover（汉诺威莱布尼茨大学）

本文研究命题团队逻辑中可表达性与不可表达性问题，通过维度理论方法分析原子表达的代价，提出新变种的原子和运算，揭示逻辑的范围与限制。

2026-02-26math.LO

团队性质的命题逻辑

The Propositional Logic of Team Properties

University of Gothenburg（哥德堡大学）

针对团队语义逻辑缺乏可替换性的问题，提出团队性质逻辑（LTP），通过布尔代数的幂集代数给出语义，并建立了一个可靠且完备的标记自然演绎系统。

2026-07-01math.LO

基础命题团队逻辑的深度推理矢列演算（不作过度深究）

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)

本文为包含分裂析取与探究析取的基础命题团队逻辑引入了一种深度推理矢列演算，证明了其保高度弱化、切消除等性质，并导出了新的Lyndon插值定理。

2025-08-10math.LO

凸团队逻辑

Convex Team Logics

University of Padua（帕多瓦大学）；University of Amsterdam（阿姆斯特丹大学）

本文证明凸命题和模态团队逻辑的表达完备性，引入多种完备逻辑，并回答经典命题逻辑加非空原子NE的开放问题，推广统一定义性概念。

2026-10-15math.LO

命题团队语义中还有其他否定方式

There are (other) ways to negate in propositional team semantics

本文研究命题团队语义中的否定机制，证明完全直觉主义否定不增加向下封闭逻辑的公理化复杂度，并证明同时含依赖原子与包含原子的命题逻辑具有表达完备性。

2024-10-10cs.LOmath.LO

更多相关论文收起更多论文

基于探究语义与团队语义的两个强不可定义性结果

Two strong undefinability results in inquisitive and team semantics

本文针对基于探究语义和团队语义的逻辑，证明了直觉主义蕴涵在带张量的扩展命题探究逻辑中，以及全局析取在扩展命题依赖逻辑中均具有不可定义性。

2024-07-30math.LO

团队语义中命题逻辑的复杂性

Complexity of Propositional Logics in Team Semantics

我们分类的可满足性，有效性和模型检测问题的命题独立性，包含性和团队逻辑的计算复杂性。我们的主要结果表明，命题组逻辑的可满足性和有效性问题是完全的交替指数时间与多项式多交替。

2017-01-05cs.CCcs.LOmath.LO

直觉命题逻辑的Lindström定理

A Lindström theorem for intuitionistic propositional logic

证明了命题直觉主义逻辑是满足某种拓扑性质的最大（就表达能力而言）抽象逻辑，这些拓扑性质包括紧性、Tarski并性质和模拟下的保持性.

2018-10-23math.LO

双直觉命题逻辑的极大性

Maximality of bi-intuitionistic propositional logic

本文采用经典一阶逻辑的Lindström定理的形式，将命题双直觉主义逻辑刻画为满足某种形式的紧性、Tarski并性质和双模拟下的保持性的极大（就表达能力而言）抽象逻辑。由于双直觉主义逻辑通过增加向后看模态的模拟在直觉设置中引入了新的复杂性，本文构成了作者在G. Badia和G.奥尔霍维科夫直觉主义命题逻辑的林斯特龙定理。Notre Dame Journal of Formal Logic，61（1）：11-30（2020）.

2021-04-07math.LO

用包含原子捕捉双重团队属性

Capturing dual team properties with inclusion atoms

University of Helsinki（赫尔辛基大学）

本文提出了一种命题团队逻辑，通过包含原子的变体实现对准向下和准向上闭属性的表达性完备，并定义了相应的自然演绎系统。

2026-03-05math.LO

命题确定性和独立性的逻辑

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的可靠的和完全的公理化。

2017-12-03cs.LOmath.LO

探究命题逻辑与模态逻辑的模型检测问题复杂性

Complexity of the Model Checking problem for inquisitive propositional and modal logic

本文研究了探究命题逻辑 InqB 和探究模态逻辑 InqM 的模型检测问题复杂性，基于 Yang 的思想证明了这两个问题均为 AP-完全。

2024-03-28cs.LOmath.LO

强一阶Domain独立双线性：并闭情形

Strongly First Order, Domain Independent Dependencies: the Union-Closed Case

团队语义学通过定义任务集而不是单个任务的满意度来概括塔斯基的语义学。因此，可以使用Team Semantics通过新的连接词或原子来扩展一阶逻辑-最重要的是，通过表示不同赋值之间的依赖关系的依赖关系原子。这些扩展中的一些比一阶逻辑本身更有表现力，而另一些则可还原为它。我为独立于域的依赖原子提供了充要条件（在这个意义上，它在一个关系中的真或假并不取决于在模型中不出现在关系中的元素的存在）和并集闭合（在这个意义上，只要它被一个关系族的所有成员所满足，它也被它们的并集所满足）是强一阶的，在这个意义上，通过将它们添加到一阶逻辑而获得的逻辑并不比一阶逻辑本身更有表现力。

2022-06-30math.LO

模态与命题依赖逻辑中的有效性与蕴涵

Validity and Entailment in Modal and Propositional Dependence Logics

本文全面分类了模态与命题依赖逻辑中有效性与蕴涵的复杂性，证明模态依赖逻辑的有效性问题是NEXPTIME完全的，反驳了先前更高的复杂性猜想。

2019-04-25cs.LOmath.LO

团队逻辑的可能与不可能条件句

Possible and impossible conditionals for team logics

University of Helsinki（赫尔辛基大学）；Utrecht University（乌得勒支大学）

本文研究基于团队语义的逻辑能否添加满足最小要求（如保持逻辑封闭性、肯定前件和演绎定理）的条件句，发现向下或向上封闭的逻辑存在这样的条件句，而并封闭、凸或交封闭的逻辑通常不存在。

2026-06-02math.LO

团队语义中的复杂性结果：非空性并不那么复杂

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex

University of Helsinki（赫尔辛基大学）；Utrecht University（乌得勒支大学）

研究团队语义中凸逻辑的复杂性，针对带非空原子NE的经典命题逻辑扩展，证明可满足性问题是NP完全的，有效问题是coNP完全的，模型检验问题属于P。

2026-02-26cs.LOmath.LO

具有双重否定的团队逻辑的双完备性定理

Bicompleteness Theorems for Team Logics with the Dual Negation

University of Padua（帕多瓦大学）

研究独立友好逻辑和依赖逻辑中双重否定的语义不确定性，通过调整不相容概念，为多种模态和命题团队逻辑建立了类似结果，并提出了关于不相容性的表达完备性概念。

2026-06-23cs.LOmath.LO

包含原子模态逻辑的表达能力

The expressive power of modal logic with inclusion atoms

模态包含逻辑是基本模态逻辑的包含原子扩展，其语义定义在Kripke模型上。Kripke模型的团队只是其域的一个子集。本文给出了模态包含逻辑表达能力的一个完整刻画：一类带队的Kripke模型在模态包含逻辑中是可定义的当且仅当它在k-互模拟下是闭的，对于某个整数k，它在并下是闭的，并且它具有空队性质.我们还证明了同样的表达能力，可以通过添加一个单一的一元非空算子模态逻辑。此外，我们建立了一个指数下界的大小从模态包含逻辑到模态逻辑与非空算子的翻译。

2015-09-24cs.LOmath.LO

用泛模态刻画团队逻辑的模态可定义性

Characterising Modal Definability of Team-Based Logics via the Universal Modality

我们研究了各种模态逻辑的模型和框架可定义性。设ML（A+）表示用普适模态扩展的模态逻辑的片段，其中普适模态只肯定地出现。我们证明了一类Kripke模型在ML（A+）中是可定义的当且仅当该类是初等的，并且在不相交的工会和满射互模拟下是封闭的。我们还讨论了ML（A+）的可定义性的精神，著名的Goldblatt-Maxason定理。我们证明了Kripke框架的一个初等类F在ML（A+）中是可定义的当且仅当F在取生成子帧和有界形态图像下是闭的，并且反映了超滤子扩展和超滤子帧生成.此外，我们还研究了相对于有限传递框架的框架可定义性，并给出了相对于有限传递框架的ML（A+）-可定义性的一个类似刻画。最后，我们在团队逻辑中开始了模型和框架可定义性的研究。我们研究（扩展）模态依赖逻辑，（扩展）模态包含逻辑和模态团队逻辑。我们建立严格的线性层次模型的可定义性和框架的可定义性，分别。我们表明，关于模型和框架的可定义性，前面提到的团队为基础的逻辑，除了模态依赖逻辑，要么符合ML（A+）或平原模态逻辑ML。因此，作为一个推论，我们得到的模型和框架可定义的团队为基础的逻辑的模型论特征。

2018-02-21cs.LOmath.LO