Explore relationships

Fixed-point logic

In mathematical logic, fixed-point logics are extensions of classical predicate logic that have been introduced to express recursion.

Use + to expand a branch. Click a topic name to open its summary.