Axiomatizing first order consequences in dependence logic
Juha Kontinen, Jouko Väänänen
在[8]中引入的依赖逻辑不能被公理化。然而，依赖逻辑句子的一阶结果是可以公理化的，这就是本文要做的。我们给出了一个明确的公理化，并证明了相应的完备性定理。
Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Axiomatizing Propositional Dependence Logics
通过扩展已有的命题逻辑和模态逻辑的公理化，给出了命题依赖逻辑（PD）、模态依赖逻辑（MDL）和扩展模态依赖逻辑（EMDL）的完备的希尔伯特式公理化.此外，我们给新的标记tableau演算PD，MDL，和EMDL。我们证明了每一个标记的结石的合理性，完整性和终止。
Axiomatizing first-order consequences in independence logic
独立性逻辑不能被有效地公理化。然而，独立逻辑句子的一阶结果是可以公理化的。本文给出了一个显式公理化，并证明了它在这个意义下是完备的。这个证明是依赖逻辑的类似结果的推广。
Axiomatizing first-order consequences in inclusion logic
包含逻辑是依赖逻辑的一种变体，它被证明具有与正最大不动点逻辑相同的表达能力。包含逻辑不是完全可公理化的，但它的一阶结果可以公理化。在本文中，我们提供了这样一个明确的部分公理化，通过引入一个系统的自然演绎包含逻辑是健全的和完整的一阶后果的包含逻辑。
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
本文积极地解决了Seligman、Girard和Liu等人提出的友谊认知逻辑是否能提供一个希尔伯特系统的问题。为了找到一个Hilbert系统，我们首先介绍了一个健全的，完整的和无割的树（或嵌套）EFL演算，这是一个集成的组合Seligman的基本混合逻辑的树演算和模态逻辑的树演算。然后，我们将树的结构转换成一个普通的公式来指定EFL的Hilbert系统，最后证明我们的Hilbert系统对于预定的二维语义是健全和完备的。
Axiomatizing logics of fuzzy preferences using graded modalities
本文的目的是提出一个多值模态框架，形式化推理与分级偏好和命题，在风格的范Bentham等人。的经典模态逻辑偏好。为此，我们从Bou et al.的最小模态逻辑。然后，我们定义适当的扩展多模态语言与分级模态，无论是弱和严格的偏好，并与真值常数。实际上，语言中真值常量的存在使我们能够证明最小模态逻辑的模态算子Box和Diamond是可互定义的。最后，我们提出了一个公理系统，这个逻辑在一个扩展的语言（其中的偏好模态运算符是可定义的），并证明了完整性方面的预期分级偏好语义。
Axiomatizing modal inclusion logic and its variants
本文为模态包含逻辑及其两个表达能力等价的变体（分别含可能算子及其单世界变体）建立了完全公理化，并通过范式定理和自然演绎系统完成完全性证明。
Axiomatizing logics of finite Gödel-Kripke models
研究模态戈德尔逻辑对有限戈德尔-克里普克模型的完备性，发现原有逻辑不满足，并提出新的公理化方法以实现完备性。
Axiomatizing Mathematical Theories: Multiplication
将数学结构公理化是数理逻辑的一个目标。一些结构理论的公理化已经证明是相当困难和具有挑战性的，有些仍然是开放的。然而，某些数学结构的公理化已成为逻辑学、代数学和几何学中的经典定理。本文将研究乘法理论在自然数、整数、有理数、实数和复数域中的公理化。我们将回顾一些经典的定理，并给出一些新的证明。我们将看到，某些结构在文献中缺失，因此，这些结构的理论是否是可公理化的（可判定的）还没有定论。我们将在本文中回答其中一个开放性问题。
Axiomatizing the Logic of Ordinary Discourse
本文为Cooper的日常话语逻辑OL及其结构伴随系统sOL建立模块化且具分析性的希尔伯特式多结论演算，证明sOL可代数化并确定其判别簇语义，同时证明sOL与三值逻辑J3的扩张在定义上等价。
Axiomatizing Category Theory in Free Logic
从推广的标准公理的幺半群，我们提出了一个逐步发展的各种，相互等价的基本公理系统的范畴论。我们的公理集已经在Isabelle/HOL交互式证明助手中进行了形式化，这种形式化利用了经典高阶逻辑中自由逻辑的语义正确嵌入。我们的公理集的建模和形式化分析已显着支持一系列的实验与自动推理工具集成Isabelle/HOL。我们还解决了我们的公理系统的关系，从文献中的替代建议，包括一个公理集提出的Freyd和Scedrov，我们揭示了一个技术问题（当编码在自由逻辑的自由变量范围内定义和未定义的对象）：无论是所有的操作，例如态射组合，是总的或其公理系统是不一致的。然而，这个问题的修复是非常简单的。
Axiomatizing relativistic dynamics without conservation postulates
相对论动力学（或力学）的一部分是公理化的简单和纯粹的几何公理内制定的一阶逻辑。本文给出了物体相对论质量与静止质量之间关系的几何证明，从而对爱因斯坦著名的$E=mc^2$给出了几何解释。本文还研究了我们的几何公理与质量守恒、动量守恒和四动量守恒公理的联系。
Axiomatizing Rumsfeld Ignorance
针对 Rumsfeld 无知可由无知定义导致公理化平凡的问题，本文区分两个隐式知识可达关系并令其一为另一个的任意子集，给出多种真双框架类上的公理化并用于分析 Fine 的结果。
Stalnaker's logical problem of conditionals is unsolvable
该研究证明，斯塔尔内克的条件句语义的一阶扩充形式不可递归公理化，即其条件句逻辑问题在含一阶量词的语言中不可解，并探讨了该结果对条件句逻辑研究的意义。
Boolean Dependence Logic and Partially-Ordered Connectives
我们介绍了一种新的依赖逻辑称为布尔依赖逻辑。在布尔依赖逻辑中，依赖原子的类型为=（x_1，...，x_n，α），其中α是布尔变量。直觉上，布尔依赖原子可以表示关系的量化，而标准依赖原子表示函数的量化。我们比较布尔依赖逻辑的表达能力依赖逻辑和一阶逻辑丰富的偏序连接词。我们证明了布尔依赖逻辑和依赖逻辑的表达能力是一致的。我们定义了自然的布尔依赖逻辑的语法片段，并表明，他们符合相应的片段的一阶逻辑丰富的偏序连接词的表达能力。然后，我们表明，片段形成一个严格的层次结构。
Propositional Logics of Dependence
本文在命题层次上研究依赖逻辑。我们证明了几个有趣的命题依赖逻辑，包括命题依赖逻辑，命题直觉依赖逻辑以及命题查询逻辑，是表达完备的，并且具有析取或合取范式.我们提供了演绎系统，并证明了这些逻辑的完备性定理。
Transition Semantics - The Dynamics of Dependence Logic
我们研究了依赖逻辑和博弈逻辑之间的关系。动态博弈逻辑的一个变种，称为过渡逻辑，开发，我们表明，它与依赖逻辑之间的关系是可比的一阶逻辑和动态博弈逻辑讨论的范Bentham。这表明了一个新的角度来解释依赖逻辑公式，在断言的可达性在游戏中的不完美的信息对自然。然后，我们利用这一直觉，通过开发依赖逻辑的表达等价变体，其中这种解释被带到前台。
Expressing Second-order Sentences in Intuitionistic Dependence Logic
直觉依赖逻辑由Abramsky和Vaananen（2009）引入，作为Hodges（trump）团队语义的一般结构下的依赖逻辑的变体。证明了从直觉依赖逻辑句子到二阶逻辑句子的转换。本文证明了另一个方向也成立，从而直觉依赖逻辑在句子层次上等价于二阶逻辑。
A Simple Logic of Functional Dependence
本文提出了一个简单的可判定逻辑的功能依赖LFD，在经典命题逻辑的依赖原子和依赖量词作为模态处理的基础上，一阶逻辑的广义赋值语义的设置。探讨了LFD的表达强度、完备证明演算和元性质。各种语言扩展，以及，不可判定模态风格的独立性和动态逻辑的变化依赖模型。最后，更具体的设置相关性进行了讨论：连续依赖的拓扑模型，线性依赖的向量空间，时间依赖的动力系统和游戏。
The Expressive Power of Modal Dependence Logic
我们研究了各种模态逻辑与团队语义的表达能力。我们表明，正是向下封闭和封闭下的团队k-互模拟的团队的属性，对于一些有限的k，是可定义的模态逻辑扩展与直觉析取。此外，我们还证明了直觉析取模态逻辑和扩展模态依赖逻辑的表达能力是一致的。最后，我们建立任何翻译从扩展模态依赖逻辑到模态逻辑与直觉析取增加一些公式的大小呈指数级。
The Logic of Approximate Dependence
我们扩展处理的函数相关，依赖逻辑的基本概念，包括依赖的可能性与有限数量的例外。我们称之为近似依赖。本文的主要结果是近似依赖原子的完备性定理。我们指出了一些有问题的特点，这表明我们应该考虑多个团队，而不仅仅是团队。
On Dependence Logic
我们给出了一个概述的依赖和独立逻辑的一些发展。这是一个小的选择，为新人，从一个快速增长的文学主题。进一步讨论了条件独立原子，证明了条件独立逻辑与非条件独立逻辑是等价的。最后，我们简要地讨论了我们的逻辑信念表示的应用。
On Three-Valued Dependence-Like Logics
本文探讨依赖逻辑与三值逻辑的关联，提出两种结合经典联结词与传染性联结词的三值依赖类逻辑，并给出相应的可靠完备无切割二叉相继式演算。
Dependence logic with a majority quantifier
本文研究了有限结构上依赖逻辑D的择多量词M的扩张。我们表明，由此产生的逻辑是equi-expressive与二阶逻辑的扩展，由二阶多数量词的所有种族。我们的结果意味着，从描述复杂性理论的角度来看，D（M）捕获的复杂性类计数层次。
Validity and Entailment in Modal and Propositional Dependence Logics
本文全面分类了模态与命题依赖逻辑中有效性与蕴涵的复杂性，证明模态依赖逻辑的有效性问题是NEXPTIME完全的，反驳了先前更高的复杂性猜想。
Dependence Logic with Generalized Quantifiers: Axiomatizations
我们证明了两个完备性结果，一个是关于依赖逻辑由具有弱解释的单调广义量词Q扩展的结果，弱的意思是Q的解释随结构而变化。第二个结果考虑了依赖逻辑的扩展，其中Q被解释为“存在不可数的许多”。“这两个公理化都被证明是健全的，完整的FO（Q）的后果。
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
我们研究隐藏变量模型从量子力学，和他们的抽象在纯粹的概率和关系的框架，通过依赖和独立的逻辑，基于团队语义。我们发现，隐藏变量模型的共同理想的属性可以定义在一个优雅和简洁的方式在依赖和独立逻辑。不同性质之间的关系，以及它们的同时可实现性，因此可以在纯逻辑层面上被公式化和证明，作为逻辑公式的蕴涵和可满足性问题。在依赖和独立逻辑中，概率和关系蕴涵之间的联系使我们能够简化证明。在许多情况下，我们可以通过一个证明建立概率和关系隐变量模型的结果，因为一种情况意味着另一种情况，这取决于纯粹的语法标准。我们还讨论了贝尔和Kochen-Specker的不去定理，并提供了后者的一个纯粹的逻辑变体，引入非上下文选择作为一个团队语义属性。
Logics of Dependence and Independence: The Local Variants
现代的依赖和独立逻辑是基于团队语义的，这意味着公式的计算不是基于变量的单个赋值，而是基于一组这样的赋值，称为团队。这导致了存在二阶逻辑水平上的高表达能力。作为替代，Baltag和van Benthem提出了依赖逻辑的局部变体，称为函数依赖逻辑（logic of functional dependence，LFD）。虽然它的语义也是基于团队的，但公式只在其中一个分配上进行本地评估，并且团队只是作为评估过程中考虑的可能分配的供应。因此，这种逻辑依赖于广义赋值语义的模态视角，并且可以被看作是一阶逻辑的一个片段。对于不含等式的LFD变体，可满足性问题是可判定的。我们扩展了本地化逻辑的依赖和独立的想法，在一个系统的方式，考虑到本地变量的标准原子依赖属性：除了依赖和独立，还包括，排除和匿名。我们研究模型理论和算法问题的本地化逻辑，并解决了一些问题，已离开开放的巴尔塔格和范Benthem。特别地，我们研究了局部逻辑的可判定性问题，证明了等式可满足的LFD是不可判定的。此外，我们通过适当的互模拟的概念建立特征定理，并研究这些逻辑的模型检验问题的复杂性。
A New Ehrenfeucht-Fraïssé Game for Dependence Logic
针对依赖逻辑，提出一种基于单元素移动的新Ehrenfeucht-Fraïssé游戏，并证明其刻画了依赖逻辑中的初等等价性。
Dependence Logics in Temporal Settings
本文通过扩展静态函数依赖的模态逻辑，研究动力系统中的时间依赖，提出并公理化了具有时间化变量、函数符号和下一时刻模态词的完备可判定逻辑，并展望其与更丰富时态逻辑及动态拓扑逻辑的结合。
Questions and dependency in intuitionistic logic
近年来，疑问句逻辑和依赖逻辑在探究逻辑和依赖逻辑两个密切相关的框架中得到了研究。这些研究假设经典逻辑作为陈述的背景逻辑，并在这个经典核心中加入了表达问题和依赖关系的公式。在本文中，我们通过在直觉主义逻辑的背景下研究问题和依赖关系来拓宽这些研究的范围。我们提出了一个直观的团队语义，团队嵌入在直观的Kripke模型。伴随逻辑是直觉主义逻辑的一个保守的扩展，带有问题和依赖公式。我们建立了一些关于这个逻辑的结果，包括一个范式的结果，一个完整性的结果，并翻译到经典的查询逻辑和模态依赖逻辑。
Dependence and Independence
我们引入一个原子公式直观地说，给定的变量是独立于给定的其他变量，如果第三组变量保持不变。我们将其与依赖逻辑进行对比。我们表明，我们的独立原子产生了一个自然的逻辑能够形式化的基本直觉的独立性和依赖性。
Local Dependence and Guarding
我们研究了Baltag和van Bentham（2021）提出的函数依赖的基逻辑LFD及其与一阶逻辑的保护片段GF的关系。与其他依赖逻辑一样，LFD的语义使用团队：允许的变量赋值集。LFD的与众不同之处在于它能够表达变量之间的局部依赖关系和语句对变量的局部依赖关系。LFD的已知特征包括可判定性、显式公理化、有限模型属性和互模拟特性。其他问题，包括可满足性的复杂性问题，迄今为止仍然没有定论。更一般地说，一直缺乏的是一个很好的理解是什么使LFD方法依赖计算良好的行为，以及它如何与其他可判定逻辑。特别是，允许变量依赖和保护量词作为逻辑设备如何比较？我们提供了一个新的合成翻译从GF到LFD，相反，我们翻译LFD到GF中的“几乎合成”的方式。使用这两个平移，我们以统一的方式将关于GF的已知结果转移到LFD，例如，LFD可满足性以及Craig插值的严格复杂性界限。相反，例如，LFD的有限模型性质转移到GF。因此，局部依赖和局部保护是一个错综复杂的概念。
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics
我们介绍了一个变体的依赖逻辑中的真理定义不存在的获胜策略的支持者（Eloise）在语义游戏中，但在缺乏获胜策略的对手（Abelard）。我们证明了这种语言是一阶逻辑的保守但次协调的扩展，它的有效性问题可以归结为一阶逻辑的有效性问题，它能够表达自己的真值和有效性谓词，并且它在表达上等价于通用二阶逻辑。此外，我们证明了一个次协调的非依赖逻辑公式是一致的当且仅当它是等价于一些一阶逻辑句子;另一方面，我们表明，所有的次协调依赖逻辑句子等价于一些一阶句子就真（但不一定就假）。
Finite Model Property and Bisimulation for LFD
最近，Baltag和van Benthem arXiv：2103.14946 [cs.LO]引入了一种新的具有局部依赖公式和依赖量词的函数依赖（LFD）可判定逻辑。该语言在依赖模型上进行解释，依赖模型是具有一组可用变量分配的一阶结构对，也称为团队。与依赖模型相关的团队可以被看作是一个标记的转换系统，在这个系统上LFD成为模态逻辑，其中依赖量词成为模态，局部依赖公式被视为特殊原子。在本文中，我们引入适当的互模拟的概念，将LFD（和一些相关的逻辑）表征为一阶逻辑（FOL）的一个片段，并表明它等价于arXiv：2102.10368 [cs.LO]中提出的更标准的互模拟概念，但对于互相似性检查更有效。我们的主要结果是LFD具有有限模型性质（FMP），通过Herwig定理的一个新的应用扩展部分同构。
From IF to BI: a tale of dependence and separation
我们需要一个新的眼光在逻辑的信息依赖和独立的Hintikka和Sandu和Vaananen，和他们的组成语义由于霍奇斯。我们如何霍奇斯的语义可以被看作是一个特殊的情况下，一般建设，这提供了一个背景下，一个有用的完整性定理，就更广泛的一类模型。我们对逻辑的每个方面都有一些新的认识。我们表明，自然命题逻辑所携带的语义是捆绑的蕴涵由于Pym和O 'Hearn，它结合了直觉和乘法连接词的逻辑。这引入了几个新的连接词以前没有考虑在逻辑的信息依赖，但我们显示发挥了非常自然的作用，最显着的直觉含义。至于量词，我们表明，他们在霍奇斯语义的解释是被迫的，因为他们是下的图像通常的塔斯基语义的一般建设，这意味着他们是伴随着替代，因此唯一确定。至于依赖谓词，我们表明，这是从一个更简单的谓词，恒常性或依赖于没有定义。这就离不开直觉蕴涵的运用。然后将函数相关的Armstrong公理恢复为直觉蕴涵公理的标准集。我们还证明了Hodges风格的完全抽象结果，其中直觉蕴涵起着非常自然的作用。
On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic
本文证明探究团队逻辑中开放公式的表达能力严格超越一阶逻辑，并扩展至探究一阶逻辑，解决了一个开放问题。
Characterizing Quantifier Extensions of Dependence Logic
利用存在二阶逻辑的量词扩张刻画了单调广义量词对依赖逻辑和独立逻辑的扩张的表达能力。
There are (other) ways to negate in propositional team semantics
本文研究命题团队语义中的否定机制，证明完全直觉主义否定不增加向下封闭逻辑的公理化复杂度，并证明同时含依赖原子与包含原子的命题逻辑具有表达完备性。
Uniform Definability in Propositional Dependence Logic
命题依赖逻辑和探究逻辑都是表达完备的。因此，任何具有直觉析取或直觉蕴涵的公式都可以等价地翻译成命题依赖逻辑语言中的公式，而不需要这两个连接词。我们表明，虽然这样的（非成分）翻译存在，既不是直觉析取也不是直觉蕴涵是一致定义的命题依赖逻辑。
Negation and partial axiomatizations of dependence and independence logic revisited
本文通过扩展Kontinen和Vaananen 2013和Hannula 2015中给出的逻辑的自然演绎系统，公理化了依赖和独立逻辑中的可证明的结果。我们证明了独立逻辑中的可验证公式和依赖逻辑中的可验证语句的一个特征定理，并确定了一类有趣的独立逻辑中的可验证公式。相依和独立原子，一阶公式属于这一类。我们还展示了我们的扩展系统的独立性逻辑阿姆斯特朗的公理和盖革-帕斯-珍珠公理的依赖和独立原子给出明确的推导。
Modal Dependence Logics: Axiomatizations and Model-theoretic Properties
模态依赖逻辑是基于团队语义定义的模态逻辑，具有向下封闭性。在本文中，我们介绍了健全的和完整的演绎系统的主要模态依赖逻辑，特别是那些在其语言中的直觉连接词。我们还建立了一个具体的团队语义和单世界语义之间的联系，并表明，模态依赖逻辑可以解释为直觉模态逻辑的变种。
Structural completeness in propositional logics of dependence
本文证明了三种主要的命题依赖逻辑（包括命题依赖逻辑和查询逻辑），它们都不是结构的，但它们关于一类替换是结构完备的，在这类替换下逻辑是闭的。我们得到了类似的结果稳定的替代，一些著名的中间逻辑，这是密切相关的中间理论，是密切相关的探究逻辑的负变体。
Generalized quantifiers in Dependence Logic
我们引入广义量词，定义在塔斯基语义的Mostowski和Lindström，在逻辑的语义是基于团队，而不是分配，例如，如果逻辑和依赖逻辑。单调和非单调的情况下被认为是。本文认为，要想满意地处理广义量词的量词范围依赖，依赖逻辑中的依赖原子并不合适，而多值依赖原子是一个更好的选择。这个原子实际上可定义地等价于最近由Väänänen和Grädel引入的\emph{independence atom}。
On Intermediate Inquisitive and Dependence Logics: An Algebraic Study
本文对中间查询逻辑和依赖逻辑进行了代数研究。虽然这些逻辑通常是使用团队语义研究，在这里，我们引入了另一种代数语义，我们证明它是完整的所有中间的好奇和依赖逻辑。为此，我们定义好奇和依赖代数，我们调查他们的模型理论的性质。我们表明，它们是基本的结构公理化霍恩句子，我们用我们的完整性结果来说明一个版本的algebraisability的好奇和依赖逻辑。然后，我们专注于有限的，核心生成的，良好连接的好奇和依赖代数：我们证明他们见证的有效性，真正的好奇代数公式，以及真正的公式连接依赖代数。最后，我们得到了有限代数、核生成代数、良连通代数、查询代数和依赖代数的表示定理，并证明了一些连接群和代数语义的结果。
Alternating (In)Dependence-Friendly Logic
针对 IF 逻辑的参与者不对称、非确定及排中律失效问题，本文提出 ADIF，并给出组合、Herbrand-Skolem 与博弈论语义，证明其确定性、排中律及二阶逻辑表达力。
Team Semantics and Recursive Enumerability
众所周知，依赖逻辑捕获复杂性类NP，最近已经表明，包含逻辑捕获有序模型上的P。这些结果表明，团队语义描述复杂性理论提供了有趣的新的可能性。为了正确理解团队语义和描述复杂性之间的联系，我们引入了依赖逻辑的扩展D*，它可以精确定义有限模型的所有递归可重复类。因此，D* 提供了一种替代图灵机的计算方法。D* 的基本新功能是一个运营商，可以扩展域所考虑的模型由有限数量的新鲜元素。由于广义量词与神谕之间的密切关系，我们也研究了广义量词在团队语义中的应用。我们证明了通过引入相应的广义依赖原子，可以从一阶逻辑的量词扩张中规范地消除（1）型单调量词。
Deciding dependence in logic and algebra
我们介绍了一个普遍的代数推广德容的概念依赖公式的直觉命题逻辑，有关它的概念依赖定义的Marczewski的代数结构的元素。根据德容和Chagrova的思想，我们展示了如何建设性的证明（弱形式）一致插值可以用来决定依赖品种的阿贝尔l-群，MV-代数，半群，模态代数。我们还考虑最小的可证明性结果的依赖，特别是获得一个完整的描述和可判定性的依赖的各种格。
Bicompleteness Theorems for Team Logics with the Dual Negation
研究独立友好逻辑和依赖逻辑中双重否定的语义不确定性，通过调整不相容概念，为多种模态和命题团队逻辑建立了类似结果，并提出了关于不相容性的表达完备性概念。
Decidability of predicate logics with team semantics
我们研究了基于团队语义的谓词逻辑的复杂性。证明了二元独立逻辑和二元包含逻辑的可满足性问题都是NEXPTIME-完全的。此外，我们表明，两个变量的依赖逻辑的有效性问题是不可判定的，从而解决了一个开放的问题，从团队语义文献。我们还简要地分析了依赖逻辑的Bernays-Schönfinkel-Ramsey前缀类的复杂性。
A Characterization Theorem for a Modal Description Logic
模态描述逻辑的特点是模态，它捕获知识对诸如时间、地点或代理的信息状态等参数的依赖性。例如，在一个示例中，逻辑S5-ALC将标准描述逻辑ALC与可以被理解为认知算子或表示（无向）变化的S5模态相结合。该逻辑嵌入到相应的模态一阶逻辑S5-FOL中。我们证明了一个模态特征定理的嵌入，在类比的结果由范Bentham和罗森有关ALC标准的一阶逻辑：我们表明，S5-ALC只有局部角色是，无论是在有限的和无限制的模型，正是互模拟不变片段的S5-FOL，从而给出了一个精确的描述的表达能力的S5-ALC只有局部角色。
Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
本文共分三个部分。首先，我们利用积分逻辑的不变测度研究和刻画了顺从和极端顺从拓扑半群。本文证明了拓扑半群的一些性质的可定义性，如顺从性和不动点的不动点。其次，我们定义类型和发展的整体逻辑框架中的局部稳定性。对于稳定的公式$ϕ$，我们证明了模型上的所有完备$ϕ$ -型的可定义性，并由此导出稳定性的基本定理.第三，我们研究了测度论中的一个重要性质，Talagrand稳定性。指出了Talagrand稳定性与依赖性（NIP）之间的联系，并证明了NIP公式类型可定义性的测度论形式。
Dependence Logic in Pregeometries and $ω$-Stable Theories
我们提出了一个框架，在一般情况下，包括数据库理论，代数和模型论的特殊情况下，研究独立的概念。我们表明，著名的公理和规则的独立性，使推论有关基本原子独立性声明是完整的各种语义。我们的研究结果表明，独立性概念在数据库理论、代数和模型论等不同领域的应用可以完全由相同的公理来表征。我们还考虑与独立性相关的概念，例如依赖性。
Complete logics for elementary team properties
在本文中，我们介绍了一种基于团队语义的逻辑，称为FOT，其表达能力是基本的，即，符合一阶逻辑的水平上的句子和（可能是开放的）公式，我们还表明，一个子逻辑的FOT，称为FOT ${}^\downarrow$，捕捉完全向下封闭的基本（或一阶）团队属性。我们完全公理化的逻辑FOT，也扩展了依赖逻辑的部分公理化的依赖逻辑丰富的逻辑常数FOT ${}^\downarrow$。
Generalized quantifiers using team semantics
本文修改依赖逻辑的基本语义准则，构建了一个能同时处理单调与非单调广义量词的框架，证明其具有与存在性二阶逻辑相同的表达力并保持保守性。
Upwards Closed Dependencies in Team Semantics
我们证明了，向上封闭的一阶依赖原子与团队语义的一阶逻辑不增加其表达能力（相对于句子），这同样是真的，如果我们还添加恒定原子。因此，函数相关、条件独立、包含和排除原子的否定都可以加入到一阶逻辑中，而不增加它的表达能力。此外，我们定义了一类有界向上封闭的依赖关系，我们证明了无界的依赖关系不能定义在有界的。
A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration
本文提出子连通逻辑FOscon，证明其模型检验与幺半依赖性可由排除固定小图刻画，并给出高效算法及组合重构应用。
Which came first, set theory or logic?
本文通过元理论且有限主义的方式构造一阶逻辑系统并定义ZFC，以解决集合论与逻辑的循环依赖问题，并基于构造顺序回答先有哪个的问题。
Intuitionistic Implication in Elementary Team Logics
本文研究初等团队逻辑FOT的两种修改：其无包含原子片段的量词消去，以及添加直觉主义蕴涵后表达能力提升至全二阶逻辑，导致有效性等价。
Team Semantics and Independence Notions in Quantum Physics
本文通过团队语义研究量子物理中的依赖性和独立性概念，提出新的独立逻辑和概率独立逻辑发展。
On variable non-dependence of first-order formulas
本文提出一阶逻辑中变量非依赖性的概念，允许在另一公式表达的约束下判定公式真值是否依赖某变量，并利用该概念通过提取和丢弃冗余嵌套量词来简化复杂公式。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。