Logics with multiteam semantics
From MaRDI portal
Abstract: Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not for a single assignment of values to the free variables, but on a set of such assignments, called a team. Team semantics is appropriate for a purely logical understanding of dependency notions, where only the presence or absence of data matters, but based on sets, it does not take into account multiple occurrences of data values. It is therefore insufficient in scenarios where such multiplicities matter, in particular for reasoning about probabilities and statistical independencies. Therefore, an extension from teams to multiteams (i.e. multisets of assignments) has been proposed by several authors. In this paper we aim at a systematic development of logics of dependence and independence based on multiteam semantics. We study atomic dependency properties of finite multiteams and discuss the appropriate meaning of logical operators to extend the atomic dependencies to full-fledged logics for reasoning about dependence properties in a multiteam setting. We explore properties and expressive power of a wide spectrum of different multiteam logics and compare them to logics with team semantics. We also study the relationship of logics with multiteam semantics with existential second-order logic for a specific class of metafinite structures. It turns out that inclusion-exclusion logic can be characterised in a precise sense by the Presburger fragment of this logic, but for capturing independence, we need to go beyond it and add some form of multiplication. Finally we also consider multiteams with weights in the reals and study the expressive power of formulae by means of topological properties.
Recommendations
Cited in
(25)- Probabilistic team semantics
- Polyteam semantics
- Approximation and dependence via multiteam semantics
- Separation logic and logics with team semantics
- On elementary logics for quantitative dependencies
- On the Presburger fragment of logics with multiteam semantics
- Enumerating teams in first-order team logics
- Approximation and dependence via multiteam semantics
- The logic of approximate dependence
- Dependency Concepts up to Equivalence.
- Polyteam semantics
- scientific article; zbMATH DE number 7407786 (Why is no real title available?)
- Logics of dependence and independence: The local variants
- The doxastic interpretation of team semantics
- Propositional team logics
- Counting in team semantics
- A Van Benthem Theorem for Modal Team Semantics
- scientific article; zbMATH DE number 7056226 (Why is no real title available?)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Strongly first order, domain independent dependencies: the union-closed case
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Temporal team semantics revisited
- Multiteam semantics for interventionist counterfactuals: probabilities and causation
- Expressivity landscape for logics with probabilistic interventionist counterfactuals
This page was built for publication: Logics with multiteam semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5034235)
