Dependence logic, introduced in Väänänen (2007) [11], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem
AbstractWe define a logic D capable of expressing dependence of a variable on designated variables o...
In this paper we prove that three of the main propositional logics of dependence are structurally co...
We examine the relationship between dependence logic and game logics. A variant of dynamic game logi...
In this article we review recent results on expressivity and complexity of first-order, modal, and p...
In this paper, we axiomatize the negatable consequences in dependence and independence logic by exte...
We prove two completeness results, one for the extension of dependence logic by a monotone generaliz...
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 ...
Abstract. We prove two completeness results, one for the extension of depen-dence logic by a monoton...
We prove that adding upwards closed first-order dependency atoms to first-order logic with team sema...
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power coin...
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power is e...
We prove that adding upwards closed first-order dependency atoms to first-order logic with team se-m...
In this volume, different aspects of logics for dependence and independence are discussed, including...
Dependence is an important concept for many tasks in artificial intelligence. A task can be executed...
AbstractWe define a logic D capable of expressing dependence of a variable on designated variables o...
In this paper we prove that three of the main propositional logics of dependence are structurally co...
We examine the relationship between dependence logic and game logics. A variant of dynamic game logi...
In this article we review recent results on expressivity and complexity of first-order, modal, and p...
In this paper, we axiomatize the negatable consequences in dependence and independence logic by exte...
We prove two completeness results, one for the extension of dependence logic by a monotone generaliz...
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 ...
Abstract. We prove two completeness results, one for the extension of depen-dence logic by a monoton...
We prove that adding upwards closed first-order dependency atoms to first-order logic with team sema...
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power coin...
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power is e...
We prove that adding upwards closed first-order dependency atoms to first-order logic with team se-m...
In this volume, different aspects of logics for dependence and independence are discussed, including...
Dependence is an important concept for many tasks in artificial intelligence. A task can be executed...
AbstractWe define a logic D capable of expressing dependence of a variable on designated variables o...
In this paper we prove that three of the main propositional logics of dependence are structurally co...
We examine the relationship between dependence logic and game logics. A variant of dynamic game logi...
DOI
Add to ORKG