Quantifiers

• Some logics have various quantifiers as well

  • ? x • x > 0
  • ? x • x > 0
  • Temporal logics include
    • AG (always globally), EF (there exists a path), AX (always in the next step), …

Previous slide

Next slide

Back to first slide

View graphic version