Probabilistic team semantics
From MaRDI portal
Publication:1647487
DOI10.1007/978-3-319-90050-6_11OpenAlexW2792285480MaRDI QIDQ1647487
Jonni Virtema, Arne Meier, Miika Hannula, Arnaud Durand, Juha Kontinen
Publication date: 26 June 2018
Full work available at URL: https://arxiv.org/abs/1803.02180
Probability and inductive logic (03B48) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (11)
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 ⋮ Strongly first order, domain independent dependencies: the union-closed case ⋮ Parameterized complexity of propositional inclusion and independence logic ⋮ Unnamed Item ⋮ A logical approach to context-specific independence ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ 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
This page was built for publication: Probabilistic team semantics
