Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments, called teams. In this semantics, it is possible to add new atoms and connectives expressing dependencies between possible values of variables. Some of the resulting logics are more expressive than first-order logic while others are not. I study the (relativizable) atoms and families of atoms that do not increase the expressive power of first-order logic when they and their complements are added to it, separately or jointly, calling them doubly strongly first-order dependencies and finding a characterization for them.

Doubly strongly first-order dependencies

Galliani P.
Primo
2025-01-01

Abstract

Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments, called teams. In this semantics, it is possible to add new atoms and connectives expressing dependencies between possible values of variables. Some of the resulting logics are more expressive than first-order logic while others are not. I study the (relativizable) atoms and families of atoms that do not increase the expressive power of first-order logic when they and their complements are added to it, separately or jointly, calling them doubly strongly first-order dependencies and finding a characterization for them.
2025
Team Semantics; dependence logic; second-order logic
Galliani, P.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2203832
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact