Probabilistic team semantics

DOI10.1007/978-3-319-90050-6_11MaRDI QIDQ1647487zbMATH OpenOpenAlexFDO

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

Publication date 26 June 2018

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

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Approximation and dependence via multiteam semantics
• Approximation and dependence via multiteam semantics
• Logics with multiteam semantics
• Polyteam semantics
• Polyteam semantics

Cited in

(25)

• Parameterized complexity of weighted team definability
• Diversity, dependence and independence
• A logical approach to context-specific independence
• Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
• Multiteam semantics for interventionist counterfactuals: probabilities and causation
• Logics with multiteam semantics
• Formalizing statistical causality via modal logic
• Logics with probabilistic team semantics and the Boolean negation
• The doxastic interpretation of team semantics
• Modular SAT-based techniques for reasoning tasks in team semantics
• Strongly first order, domain independent dependencies: the union-closed case
• scientific article; zbMATH DE number 7453077 (Why is no real title available?)
• Approximation and dependence via multiteam semantics
• Upwards closed dependencies in team semantics
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• On elementary logics for quantitative dependencies
• On the Presburger fragment of logics with multiteam semantics
• Parameterized complexity of propositional inclusion and independence logic
• Polyteam semantics
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Polyteam semantics
• Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Approximation and dependence via multiteam semantics
• Parameterised complexity of model checking and satisfiability in propositional dependence logic

This page was built for publication: Probabilistic team semantics

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