Many different types of logics

• Of course, Ex is only a toy example

• There are many different types of logics (First Order Logic, F-Logic, Horn Logic,…)

• • they differ in the terms and relations they allow
  • but the model theory background is usually identical