Approximation and dependence via multiteam semantics

DOI10.1007/978-3-319-30024-5_15zbMATH Open1459.03031DBLPconf/foiks/0001HKMV16OpenAlexW2962881322WikidataQ57998265 ScholiaQ57998265MaRDI QIDQ2807084FDOQ2807084

Authors Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Publication date 19 May 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.09040

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic in computer science (03B70)

Abstract: We define a variant of team semantics called multiteam semantics based on multisets and study the properties of various logics in this framework. In particular, we define natural probabilistic versions of inclusion and independence atoms and certain approximation operators motivated by approximate dependence atoms of V"a"an"anen.

Recommendations

• Approximation and dependence via multiteam semantics
• Logics with multiteam semantics
• Probabilistic team semantics
• The logic of approximate dependence
• Polyteam semantics

Cited in

(15)

• A logical approach to context-specific independence
• Multiteam semantics for interventionist counterfactuals: probabilities and causation
• Embedding causal team languages into predicate logic
• A Logical Approach to Context-Specific Independence
• Team semantics for interventionist counterfactuals: observations vs. interventions
• Logics with multiteam semantics
• Formalizing statistical causality via modal logic
• Probabilistic team semantics
• Team semantics for the specification and verification of hyperproperties
• Upwards closed dependencies in team semantics
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
• On elementary logics for quantitative dependencies
• Approximation and dependence via multiteam semantics
• The logic of approximate dependence

This page was built for publication: Approximation and dependence via multiteam semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807084)