Axiomatizing first order consequences in dependence logic

Abstract

Dependence logic, introduced in [8], 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.

References in corpus (1)

• Hierarchies in Dependence Logic

Cited by in corpus (1)

• Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics