We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

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

Abstract: Team Semantics generalizes Tarski's Semantics by defining satisfaction with respect to sets of assignments rather than with respect to single assignments. Because of this, it is possible to use Team Semantics to extend First Order Logic via new kinds of connectives or atoms - most importantly, via dependency atoms that express dependencies between different assignments.
Some of these extensions are more expressive than First Order Logic proper, while others are reducible to it. In this work, I provide necessary and sufficient conditions for a dependency atom that is domain independent (in the sense that its truth or falsity in a relation does not depend on the existence in the model of elements that do not occur in the relation) and union closed (in the sense that whenever it is satisfied by all members of a family of relations it is also satisfied by their union) to be strongly first order, in the sense that the logic obtained by adding them to First Order Logic is no more expressive than First Order Logic itself.
Subjects: Logic (math.LO)
MSC classes: 03B16, 03C85
Cite as: arXiv:2205.06466 [math.LO]
  (or arXiv:2205.06466v2 [math.LO] for this version)

Submission history

From: Pietro Galliani Dr [view email]
[v1] Fri, 13 May 2022 06:48:04 GMT (17kb)
[v2] Thu, 30 Jun 2022 14:56:31 GMT (36kb)

Link back to: arXiv, form interface, contact.