Table of Contents:
  • Fundamental terms
  • Original nomological statements
  • Derivative nomological statements
  • Admissible statements
  • Extension of verifiability
  • Counterfacturals of noninterference
  • Relative nomological statements
  • Permissible and proper implication.