The Complexity of the Dependence Operator

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

5 Citations (Scopus)
266 Downloads (Pure)

Abstract

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
Volume44
Issue number3
Early online date4 Jul 2014
DOIs
Publication statusPublished - 1 Jun 2015

Keywords

  • 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