Expressing Second-order Sentences in Intuitionistic Dependence Logic

Studia Logica 101 (2):323-342 (2013)
  Copy   BIBTEX

Abstract

Intuitionistic dependence logic was introduced by Abramsky and Väänänen [1] 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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,061

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
Questions and Dependency in Intuitionistic Logic.Ivano Ciardelli, Rosalie Iemhoff & Fan Yang - 2020 - Notre Dame Journal of Formal Logic 61 (1):75-115.
Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.
Dependence Logic with a Majority Quantifier.Arnaud Durand, Johannes Ebbing, Juha Kontinen & Heribert Vollmer - 2015 - Journal of Logic, Language and Information 24 (3):289-305.
Complete Logics for Elementary Team Properties.Juha Kontinen & Fan Yang - forthcoming - Journal of Symbolic Logic:1-41.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. College Publications. pp. 329-348.

Analytics

Added to PP
2013-03-13

Downloads
92 (#218,776)

6 months
4 (#1,209,293)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Propositional logics of dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.
Questions and Dependency in Intuitionistic Logic.Ivano Ciardelli, Rosalie Iemhoff & Fan Yang - 2020 - Notre Dame Journal of Formal Logic 61 (1):75-115.

View all 8 citations / Add more citations

References found in this work

Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
Finite Partially‐Ordered Quantifiers.Herbert B. Enderton - 1970 - Mathematical Logic Quarterly 16 (8):393-397.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.

View all 7 references / Add more references