Results 1 to 10 of about 178,207 (183)
Upwards Closed Dependencies in Team Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We prove that adding upwards closed first-order dependency atoms to first-order logic with team semantics does not increase its expressive power (with respect to sentences), and that the same remains true if we also add constancy atoms. As a consequence,
Pietro Galliani
doaj +9 more sources
Compactness in Team Semantics [PDF]
Mathematical Logic Quarterly, Volume 70, Issue 2 (2024), 2022 We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon L\"uck's ultraproduct construction for team semantics and prove a suitable version of {\L}o\'s' Theorem. Second, we show that by working with suitably saturated models, we can generalize the proof of Kontinen and Yang to ...
Quadrellaro, Davide Emilio
arxiv +8 more sources
Probabilistic team semantics [PDF]
arXiv, 2018 Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies.
A Durand +17 more
arxiv +8 more sources
The Doxastic Interpretation of Team Semantics [PDF]
arXiv, 2013 We advance a doxastic interpretation for many of the logical connectives considered in Dependence Logic and in its extensions, and we argue that Team Semantics is a natural framework for reasoning about beliefs and belief updates.
Galliani, Pietro
arxiv +5 more sources
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics [PDF]
Logical Methods in Computer Science, 2021 We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables the handling and
Matthias Hoelzel, Richard Wilke
doaj +11 more sources
Team semantics for interventionist counterfactuals and causal dependence [PDF]
arXiv, 2017 We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions.
Barbero, Fausto, Sandu, Gabriel
arxiv +6 more sources
A Double Team Semantics for Generalized Quantifiers. [PDF]
J Logic Lang Inf, 2015 We define a semantics for first-order logic with generalized quantifiers based on double teams. We also define and investigate a notion of a generalized atom. Such atoms can be used in order to define extensions of first-order logic with a team-based semantics. We also define a game semantics and compare it with the double team semantics.
Kuusisto A.
europepmc +6 more sources
Tractability Frontier of Data Complexity in Team Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We study the data complexity of model-checking for logics with team semantics. For dependence and independence logic, we completely characterize the tractability/intractability frontier of data complexity of both quantifier-free and quantified formulas ...
Arnaud Durand +3 more
doaj +7 more sources
Counting in Team Semantics [PDF]
, 2016 We explore several counting constructs for logics with team semantics. Counting is an important task in numerous applications, but with a somewhat delicate relationship to logic. Team semantics on the other side is the mathematical basis of modern logics
, Hegselmann, Stefan
core +6 more sources