Doubly strongly first-order dependencies

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.

Authors

Institutions

Publication Details

Journal
Journal of Logic and Computation
Published
2024-09-23
DOI
https://doi.org/10.1093/logcom/exae056
Citations
1
Primary Topic
Logic, Reasoning, and Knowledge
Type
article
Field-Weighted Citation Impact
0.35
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Doubly strongly first-order dependencies

Pietro Galliani
1 citations
Journal of Logic and Computation
Logic, Reasoning, and Knowledge
0.35
article

Doubly strongly first-order dependencies

Pietro Galliani
article en
1 citations

Abstract

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.

Journal of Logic and ComputationVol. 35(6)
University of Insubria (IT)
Reduced inequalities
Openalex Percentile: Top 40%
Logic, Reasoning, and Knowledge
0.35
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.