In this article we review recent results on expressivity and complexity of first-order, modal, and propositional dependence logic and some of its variants like independence and inclusion logic. Dependence logic was introduced by Jouko Väänänen in [51]. On the syntactic side, it extends usual first-order logic by s
AbstractWe define a logic D capable of expressing dependence of a variable on designated variables o...
This article surveys various complexity and expressiveness results on different forms of logic progr...
AbstractWe introduce some new logics of imperfect information by adding atomic formulas correspondin...
The computational properties of modal and propositional dependence logics have been extensively stud...
Dependence logic extends the language of first order logic by means of dependence atoms and aims to ...
Dependence logic extends the language of first order logic by means of dependence atoms and aims to ...
In this volume, different aspects of logics for dependence and independence are discussed, including...
Dependence logic, introduced in Väänänen (2007) [11], cannot be axiomatized. However, first-order co...
The originality of this thesis has been checked using the Turnitin OriginalityCheck service in accor...
Abstract. Modal dependence logic was introduced very recently by Väänänen. It enhances the basic ...
Dependence logic is a novel logical formalism that has connections to database theory, statistics, l...
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequenc...
In this paper, we axiomatize the negatable consequences in dependence and independence logic by exte...
We study the two-variable fragments D2 and IF2 of dependence logic and indepen-dence-friendly logic....
We study the expressive power of fragments of inclusion and independence logic defined either by res...
AbstractWe define a logic D capable of expressing dependence of a variable on designated variables o...
This article surveys various complexity and expressiveness results on different forms of logic progr...
AbstractWe introduce some new logics of imperfect information by adding atomic formulas correspondin...
The computational properties of modal and propositional dependence logics have been extensively stud...
Dependence logic extends the language of first order logic by means of dependence atoms and aims to ...
Dependence logic extends the language of first order logic by means of dependence atoms and aims to ...
In this volume, different aspects of logics for dependence and independence are discussed, including...
Dependence logic, introduced in Väänänen (2007) [11], cannot be axiomatized. However, first-order co...
The originality of this thesis has been checked using the Turnitin OriginalityCheck service in accor...
Abstract. Modal dependence logic was introduced very recently by Väänänen. It enhances the basic ...
Dependence logic is a novel logical formalism that has connections to database theory, statistics, l...
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequenc...
In this paper, we axiomatize the negatable consequences in dependence and independence logic by exte...
We study the two-variable fragments D2 and IF2 of dependence logic and indepen-dence-friendly logic....
We study the expressive power of fragments of inclusion and independence logic defined either by res...
AbstractWe define a logic D capable of expressing dependence of a variable on designated variables o...
This article surveys various complexity and expressiveness results on different forms of logic progr...
AbstractWe introduce some new logics of imperfect information by adding atomic formulas correspondin...
DOI
Add to ORKG