A journal version of the FoIKS 2016 conference publication.We define a variant of team semantics called multiteam semantics based on multisets and study the properties of various logics in this framework. In particular, we define natural probabilistic versions of inclusion and independence atoms and certain approximation operators motivated by approximate dependence atoms of Vaananen.Peer reviewe
Semiring semantics for first-order logic provides a way to trace how facts represented by a model ar...
AbstractWe introduce some new logics of imperfect information by adding atomic formulas correspondin...
Inclusion logic differs from many other logics of dependence and independence in that it can only de...
We define a variant of team semantics called multiteam semantics based on multisets and study the pr...
Team semantics is the mathematical framework of modern logics of dependence and independence in whic...
Team semantics is the mathematical framework of modern logics of dependence and independence in whic...
Team semantics is a semantical framework for the study of dependence and independence concepts ubiqu...
We classify the computational complexity of the satisfiability, validity, and model-checking problem...
We define and study logics in the framework of probabilistic team semantics and over metafinite stru...
In this paper, we investigate the parameterized complexity of model checking for Dependence and Inde...
In this paper, we investigate the parameterized complexity of model checking for Dependence Logic wh...
We study the complexity of predicate logics based on team semantics. We show that the satisfiability...
We study probabilistic team semantics which is a semantical framework allowing the study of logical ...
We study logics with team semantics in computable metric spaces. We show how to define approximate v...
Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms ...
Semiring semantics for first-order logic provides a way to trace how facts represented by a model ar...
AbstractWe introduce some new logics of imperfect information by adding atomic formulas correspondin...
Inclusion logic differs from many other logics of dependence and independence in that it can only de...
We define a variant of team semantics called multiteam semantics based on multisets and study the pr...
Team semantics is the mathematical framework of modern logics of dependence and independence in whic...
Team semantics is the mathematical framework of modern logics of dependence and independence in whic...
Team semantics is a semantical framework for the study of dependence and independence concepts ubiqu...
We classify the computational complexity of the satisfiability, validity, and model-checking problem...
We define and study logics in the framework of probabilistic team semantics and over metafinite stru...
In this paper, we investigate the parameterized complexity of model checking for Dependence and Inde...
In this paper, we investigate the parameterized complexity of model checking for Dependence Logic wh...
We study the complexity of predicate logics based on team semantics. We show that the satisfiability...
We study probabilistic team semantics which is a semantical framework allowing the study of logical ...
We study logics with team semantics in computable metric spaces. We show how to define approximate v...
Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms ...
Semiring semantics for first-order logic provides a way to trace how facts represented by a model ar...
AbstractWe introduce some new logics of imperfect information by adding atomic formulas correspondin...
Inclusion logic differs from many other logics of dependence and independence in that it can only de...