3. Advanced Work

  1. First-order logic and equality
  2. Modal logic
  3. Definition expansion
  4. Sequent Introduction
  5. Use of tautologies
  6. Cut rule
  7. The window system
  8. Using the validity checker