Logics with probabilistic team semantics and the Boolean negation
From MaRDI portal
Publication:6545573
DOI10.1007/978-3-031-43619-2_45MaRDI QIDQ6545573
Minna Hirvonen, Miika Hannula, Yasir Mahmood, Juha Kontinen, Arne Meier, Jonni Virtema
Publication date: 29 May 2024
computational complexityvaliditymodel checkingsatisfiabilityprobabilistic team semanticsexpressivity of logics
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fixed points, Nash equilibria, and the existential theory of the reals
- Metafinite model theory
- Probabilistic team semantics
- Approximation and dependence via multiteam semantics
- On elementary logics for quantitative dependencies
- Facets of distribution identities in probabilistic team semantics
- A logic for arguing about probabilities in measure teams
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
- Compositional semantics for a language of imperfect information
- Complexity of Propositional Logics in Team Semantic
- Tractability Frontier of Data Complexity in Team Semantics
- Descriptive complexity of real computation and probabilistic independence logic
- Team Logic and Second-Order Logic
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Complexity thresholds in inclusion logic
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
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)
