Typing Program: Definition

• Extensional relations are link,atomic

• All intentional relations are:

  • monadic; named t i(X)
  • defined by a single conjunction of typed links

• Semantics: Maximal fixed-point (MaxFP)

• Subset of FO2 logic

Previous slide

Next slide

Back to first slide

View graphic version