Logics with probabilistic team semantics and the Boolean negation
From MaRDI portal
Publication:6545573
Recommendations
- Facets of distribution identities in probabilistic team semantics
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- On elementary logics for quantitative dependencies
- Complexity of propositional logics in team semantic
- Probabilistic team semantics
Cites work
- scientific article; zbMATH DE number 6680142 (Why is no real title available?)
- scientific article; zbMATH DE number 4131650 (Why is no real title available?)
- A logic for arguing about probabilities in measure teams
- Approximation and dependence via multiteam semantics
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Complexity of propositional logics in team semantic
- Complexity thresholds in inclusion logic
- Compositional semantics for a language of imperfect information
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
- Dependence logic. A new approach to independence friendly logic
- Descriptive complexity of real computation and probabilistic independence logic
- Facets of distribution identities in probabilistic team semantics
- Fixed points, Nash equilibria, and the existential theory of the reals
- Metafinite model theory
- On elementary logics for quantitative dependencies
- On quantified propositional logics and the exponential time hierarchy
- Probabilistic team semantics
- Team logic and second-order logic
- Tractability Frontier of Data Complexity in Team Semantics
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Cited in
(2)
This page was built for publication: Logics with probabilistic team semantics and the Boolean negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545573)
