首页    期刊浏览 2024年11月05日 星期二
登录注册

文章基本信息

  • 标题:Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case
  • 本地全文:下载
  • 作者:Pietro Galliani
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2019
  • 卷号:305
  • 页码:66-82
  • DOI:10.4204/EPTCS.305.5
  • 语种:English
  • 出版社:Open Publishing Association
  • 摘要:Team Semantics generalizes Tarski's Semantics for First Order Logic by allowing formulas to be satisfied or not satisfied by sets of assignments rather than by single assignments. Because of this, in Team Semantics it is possible to extend the language of First Order Logic via new types of atomic formulas that express dependencies between different assignments. Some of these extensions are much more expressive than First Order Logic proper; but the problem of which atoms can instead be added to First Order Logic without increasing its expressive power is still unsolved. In this work, I provide an answer to this question under the additional assumptions (true of most atoms studied so far) that the dependency atoms are relativizable and non-jumping. Furthermore, I show that the global (or Boolean) disjunction connective can be added to any strongly first order family of dependencies without increasing the expressive power, but that the same is not true in general for non strongly first order dependencies.
国家哲学社会科学文献中心版权所有