Types of logic for writing formulas

1

Is the below list exhaustive, or are there other types of logic that are useful for writing formulas?

  • branching
  • boolean
  • linear
  • recursive

(Asking for a friend.)