Expressing Second-order Sentences in Intuitionistic Dependence Logic

Abstract

Intuitionistic dependence logic was introduced by Abramsky and Vaananen (2009) as a variant of dependence logic under a general construction of Hodges' (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences.

18 pages

Cited by in corpus (8)

• Propositional Logics of Dependence
• Questions and dependency in intuitionistic logic
• Modal Dependence Logics: Axiomatizations and Model-theoretic Properties
• A Fragment of Dependence Logic Capturing Polynomial Time
• Computational Aspects of Dependence Logic
• Negation and partial axiomatizations of dependence and independence logic revisited
• Hierarchies in inclusion logic with lax semantics
• Compactness in Team Semantics