The Complexity of the Dependence Operator

Research output: Contribution to journalArticle (Academic Journal)peer-review

5 Citations (Scopus)
254 Downloads (Pure)


We show that Leitgeb’s dependence operator of Leitgeb (Journal of Philosophical Logic, 34, 155–192, 2005) is a Π1/1-operator and that this is best possible
Original languageEnglish
Pages (from-to)337-340
Number of pages4
JournalJournal of Philosophical Logic
Issue number3
Early online date4 Jul 2014
Publication statusPublished - 1 Jun 2015


  • Truth
  • Dependence
  • Inductive operator

Fingerprint Dive into the research topics of 'The Complexity of the Dependence Operator'. Together they form a unique fingerprint.

Cite this