Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

12/23/2020
by   Miika Hannula, et al.
0

Probabilistic team semantics is a framework for logical analysis of probabilistic dependencies. Our focus is on the complexity and expressivity of probabilistic inclusion logic and its extensions. We identify a natural fragment of existential second-order logic with additive real arithmetic that captures exactly the expressivity of probabilistic inclusion logic. We furthermore relate these formalisms to linear programming, and doing so obtain PTIME data complexity for the logics. Moreover, on finite structures, we show that the full existential second-order logic with additive real arithmetic can only express NP properties.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/21/2021

On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties

In this article we study linear temporal logics with team semantics (Tea...
research
06/01/2023

Logics with probabilistic team semantics and the Boolean negation

We study the expressivity and the complexity of various logics in probab...
research
10/14/2019

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

We present syntactic characterisations for the union closed fragments of...
research
12/14/2018

Facets of Distribution Identities in Probabilistic Team Semantics

We study probabilistic team semantics which is a semantical framework al...
research
02/01/2019

Counting of Teams in First-Order Team Logics

We study descriptive complexity of counting complexity classes in the ra...
research
02/01/2019

Around finite second-order coherence spaces

Many applications of denotational semantics, such as higher-order model ...
research
02/01/2019

Finite semantics of polymorphism, complexity and the power of type fixpoints

Many applications of denotational semantics, such as higher-order model ...

Please sign up or login with your details

Forgot password? Click here to reset