Logics with probabilistic team semantics and the Boolean negation
type: Item
instance of: scholarly article
title: Logics with probabilistic team semantics and the Boolean negation
DOI: 10.1007/978-3-031-43619-2_45
author: Miika Hannula
author: Minna Hirvonen
author: Juha Kontinen
author: Yasir Mahmood
author: Arne Meier
author: Jonni Virtema
publication date: 2024-05-29T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7855152
zbMATH Keywords: probabilistic team semantics
zbMATH Keywords: model checking
zbMATH Keywords: satisfiability
zbMATH Keywords: validity
zbMATH Keywords: computational complexity
zbMATH Keywords: expressivity of logics
MaRDI profile type: MaRDI publication profile
cites work: Q3033315
cites work: Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
cites work: Approximation and dependence via multiteam semantics
cites work: Probabilistic team semantics
cites work: Tractability Frontier of Data Complexity in Team Semantics
cites work: Q2958528
cites work: Metafinite model theory
cites work: Complexity thresholds in inclusion logic
cites work: Facets of distribution identities in probabilistic team semantics
cites work: On elementary logics for quantitative dependencies
cites work: Descriptive complexity of real computation and probabilistic independence logic
cites work: Q5015279
cites work: Complexity of Propositional Logics in Team Semantic
cites work: Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
cites work: Compositional semantics for a language of imperfect information
cites work: A logic for arguing about probabilities in measure teams
cites work: Team Logic and Second-Order Logic
cites work: COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
cites work: Fixed points, Nash equilibria, and the existential theory of the reals
cites work: Q3446107
description: scientific article; zbMATH DE number 7855152