Probabilistic team semantics

DOI10.1007/978-3-319-90050-6_11OpenAlexW2792285480MaRDI QIDQ1647487FDOQ1647487

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (25)

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

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)