Notes

  • 11.1 Semantic Preliminaries
  • 11.2 The Soundness of PD, PD+, and PDI
  • 11.3 The Completeness of PD, PD+, and PDI
  • 11.4 The Soundness of the Tree Method
  • 11.5 The Completeness of the Tree Method