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) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cited in

(35)

• A logical approach to context-specific independence
• Polyteam semantics
• Approximation and dependence via multiteam semantics
• Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
• On elementary logics for quantitative dependencies
• On the Presburger fragment of logics with multiteam semantics
• Iterated team semantics for a hierarchy of informational types
• Facets of distribution identities in probabilistic team semantics
• Continuous team semantics
• Approximation and dependence via multiteam semantics
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• Characterizing strongly first order dependencies: the non-jumping relativizable case
• Logics with multiteam semantics
• Polyteam semantics
• The doxastic interpretation of team semantics
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Diversity, dependence and independence
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
• Strongly first order, domain independent dependencies: the union-closed case
• Parameterized complexity of propositional inclusion and independence logic
• Logics with probabilistic team semantics and the Boolean negation
• Formalizing statistical causality via modal logic
• Modular SAT-based techniques for reasoning tasks in team semantics
• Parameterized complexity of weighted team definability
• Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
• Multiteam semantics for interventionist counterfactuals: probabilities and causation
• Team semantics and independence notions in quantum physics
• Expressivity landscape for logics with probabilistic interventionist counterfactuals
• Logics with probabilistic team semantics and the Boolean negation
• Doubly strongly first-order dependencies
• The flattening operator in team-based logics
• The existential theory of the reals with summation operators
• Equivalence and conditional independence in atomic sheaf logic
• Upwards closed dependencies in team semantics

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)