Approximation and dependence via multiteam semantics

DOI10.1007/978-3-319-30024-5_15MaRDI QIDQ2807084zbMATH OpenOpenAlexDBLPWikidataFDO

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, http://hdl.handle.net/10138/239804

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)

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

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)