Probabilistic team semantics
From MaRDI portal
Publication:1647487
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
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)